26.12.2012 Aufrufe

Formale Sprachen und Automaten - IMS - Universität Stuttgart

Formale Sprachen und Automaten - IMS - Universität Stuttgart

Formale Sprachen und Automaten - IMS - Universität Stuttgart

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!