Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Endliche Automaten<br />
Reguläre Ausdrücke<br />
Wir wählen einen indirekten syntaktischen Ansatz, der uns endliche<br />
“Baupläne” für alle regulären Sprachen liefern wird.<br />
Das Alphabet X wird um endlich viele “formale Operations-<br />
Symbole” einer vorgegebenen “Stelligkeit” (arity) erweitert;<br />
wir betrachten Bäume, deren innere bzw. äußere Knoten mit<br />
Operations-Symbolen der entsprechenden Stelligkeit bzw. 0-stelligen<br />
Konstanten markiert sind; diese Bäume sind aus elementaren Bäumen<br />
geringer Tiefe zusammengesetzt;<br />
es gibt mehrere Möglichkeiten, die Bäume zu “linearisieren”; das führt<br />
zu sog. “regulären Ausdrücken”;<br />
wir definieren eine Semantik-Abbildung, die Bäumen bzw. regulären<br />
Ausdrücken reguläre Sprachen zuordnet; reguläre Ausdrücke mit<br />
derselben Semantik heißen “äquivalent;<br />
aus einem Automaten A wird sich ein regulärer Ausdruck R(A) mit<br />
Semantik L(A) extrahieren lassen (Kleene-Algorithmus).<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 71 / 191