Folien
Folien
Folien
WENIGER ANZEIGEN
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
2.71 Beweisskizze (Schritt 1)<br />
Für w = x1x2 · · · xk wähle man neue Zustände z1, . . . , zk−1 und<br />
ersetze<br />
z w<br />
−→ z ′<br />
0<br />
ε<br />
ε<br />
2<br />
5<br />
durch z x1<br />
−→ z1<br />
01<br />
001<br />
wird zu 0<br />
x2<br />
−→ z2 · · · zk−1<br />
x k<br />
−→ z ′ :<br />
1<br />
1 2<br />
ε<br />
0<br />
ε<br />
0 1<br />
3 4 5<br />
Nichtdeterministische endliche Automaten 91/124<br />
0
Change language