Handout - Institut für Theoretische Informatik - Technische ...

Endliche Automaten
Probleme=formale Sprachen
Wörter s 0 s 1 . . . s n−1 dienen als Abkürzungen für Tupel 〈s 0 , s 1 , . . . , s n−1 〉 ,
ohne Anfangs-, End- und Trennsymbole. Damit Wörter über X eindeutig
in Buchstaben aus X zerlegt werden können, vereinbaren wir, daß die
Buchstaben in X nicht selber als Wörter unterschiedlicher Länge über
einer anderen Menge Y dargestellt sind .
Beispiel
Wähle as X die Menge der Dezimalzahlen von 0 bis 99 . dann liefern die
Tupel 〈1, 3, 1, 3〉 , 〈1, 3, 13〉 , 〈1, 31, 3〉 , 〈13, 1, 3〉 und 〈13, 13〉 alle
dasselbe Wort 1313 .
Bemerkung
Will man mit Wörtern über X ∗ arbeiten, darf man die Elemente aus X ∗
nicht als Wörter über X darstellen, sondern muß Tupel verwenden. Bei
Wörtern über X n für festes n entfällt diese Einschränkung für die
Elemente von X n .
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 18 / 191