Formale Methoden I - Universität Bielefeld
Formale Methoden I - Universität Bielefeld
Formale Methoden I - Universität Bielefeld
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}