05.11.2013 Aufrufe

Formale Methoden I - Universität Bielefeld

Formale Methoden I - Universität Bielefeld

Formale Methoden I - Universität Bielefeld

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

58 10. Reguläre Sprachen<br />

Beim Produkt von Sprachen verhält sich{ε} also genauso, wieεbei der Verkettung<br />

von Zeichenketten oder Wörtern. Es sei angemerkt, dass bei der Notation<br />

das Produkt stärker bindet als die Vereinigung. Es ist also L· M∪ N unmißverständlich:<br />

es ist zu lesen als (L· M)∪N und nicht als L·(M∪N).<br />

Es ist üblich, folgende Abkürzungen zu benutzen:<br />

(109) ⃗x 0 :=ε, ⃗x n+1 :=⃗x n·⃗x<br />

Diese Notation benutzen wir auch für Sprachen. Es ist dann<br />

(110) L 0 :={ε}, L n+1 := L n· L<br />

Besonders wichtig ist der Kleene-Stern (−) ∗ .<br />

Definition 10.3 (Kleene Stern) Es sei L eine Sprache; dann bezeichnet L ∗ die<br />

folgende Sprache:<br />

⋃<br />

(111) L ∗ := L n = L 0 ∪ L 1 ∪ L 2 ∪···<br />

n∈N<br />

Es ist also L ∗ die Menge aller endlichen Wiederholungen von L.<br />

Der Stern bindet stärker als·. Ich weise gleich darauf hin, dass im Allgemeinen<br />

nicht L n ={⃗x n : n∈N}. Ein Beispiel dazu ist L :={a,b}. Dann haben wir<br />

(112) L·L={a,b}·{a,b}={aa,ab,ba,bb}{aa,bb}<br />

Der Kleene-Stern ist deswegen so bedeutsam, weil die Sprache L ∗ eine einfache<br />

Rekursionsgleichung löst. Ich bringe zunächst ein Beispiel. Es sei folgende Gleichung<br />

gegeben.<br />

(113) X={ab}·X∪{a,ca}<br />

Wir wollen die Menge X bestimmen, die diese Gleichung löst. Aufgrund der Gleichung<br />

ist M :={a,ca}⊆X. Wir setzen also X 0 :={a,ca}. Es ist dann X 0 ⊆ X. Da<br />

nun auch{ab}·X⊆X, so ist auch{ab}· X 0 ⊆ X, also sindaba undabca auch in<br />

X. Wir setzen also<br />

(114) X 1 :={ab}·X 0 ∪ M={a,ca,aba,abca}<br />

Es ist also X 1 ⊆ X. Und dann setzen wir<br />

(115) X 2 :={ab}·X 1 ∪ M={a,ca,aba,abca,ababa,ababca}

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!