Formale Sprachen und Automaten - IMS - Universität Stuttgart
Formale Sprachen und Automaten - IMS - Universität Stuttgart
Formale Sprachen und Automaten - IMS - Universität Stuttgart
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
1 Alphabete <strong>und</strong> <strong>Sprachen</strong><br />
Ein Alphabet Σ ist eine endliche Menge von Symbolen. Ein Wort w über Σ ist eine endliche Sequenz<br />
von Symbolen aus Σ, wobei w die Wortlänge, ε das leere Wort, <strong>und</strong> Σ¡ die Menge aller Worte<br />
(einschließlich ε) über Σ bezeichnen.<br />
©¨��<br />
Definition 1 (Wort). Ein ¢ Σ¡ Wort w ist eine Funktion £ 1¤¦¥¦¥¦¥§¤ w : w w� i��¤ Σ, � 1¤¦¥¦¥¦¥�¤<br />
wobei i<br />
das i-te Symbol in Wort w ist.<br />
Definition 2 (Konkatenation). w � x � y gdw<br />
1.<br />
w<br />
x ��� y ,<br />
�<br />
w� i��� x� i��¤ 2. � 1¤¦¥¦¥¦¥ i<br />
3. w�<br />
x ��<br />
x ,<br />
y� i��¤ i � 1¤¦¥¦¥¦¥<br />
i���<br />
Notation: w0 ε¤ w � i� 1 w � i w. �<br />
Definition 3 (Spiegelung).<br />
y .<br />
� w 0: wR w � ε, �<br />
��<br />
w 0: � w ua für ein ¢ a Σ <strong>und</strong> w � R auR .<br />
Beispiel: � bla� 2 � blabla<br />
Beispiel: � ste f an� R � na f ets<br />
Eine Sprache L über einem Alphabet Σ ist eine beliebige Menge von Wörtern über Σ, i.e., eine beliebige<br />
Teilmenge von Σ¡ .<br />
Definition 4 (Konkatenation von <strong>Sprachen</strong>).<br />
¨<br />
L1L2 � L1 ��£ L2 � x y ¢ L1¤ x ¢ y L2<br />
� .<br />
Beispiel: ��£ wort¤ L1 satz ¨ , ��£ länge¤ L2 bildung ¨<br />
¤<br />
� L1 ��£ wortlänge¤ satzlänge¤ wortbildung¤ L2 satzbildung ¨<br />
Definition 5 (Kleenesche Hülle einer Sprache).<br />
w1 � w2 ��¥¦¥¦¥�� wn w1¤ w2¤¦¥¦¥¦¥�¤ wn ¢ L¤ n � 0 L¡���£ ¨ ,<br />
L� LL¡���£ w1 � w2 ��¥¦¥¦¥�� wn w1¤ w2¤¦¥¦¥¦¥�¤ wn ¢ L¤ n � 1 � ¨ .<br />
Beispiel: L ��£ di¤ da ¨ ,<br />
L¡ ��£ ε¤ di¤ da¤ didi¤ dida¤ dadi¤ dada¤ dididi¤ didida¤ didadi¤ didada¤ dadidi¤¦¥¦¥�¥<br />
4<br />
¨<br />
w