Folien
Folien
Folien
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.
2.72 Beweisskizze (Schritt 2)<br />
ε ′ a<br />
−→z ′′ a<br />
füge Übergang z −→ z ′′ hinzu.<br />
◮ Für z ′′ a ε<br />
−→ z−→z ′ füge Übergang z ′′ a<br />
−→ z ′ hinzu.<br />
ε<br />
◮ Entferne z −→ z ′ aus dem NEA.<br />
◮ Für z −→ z<br />
Falsch! Falsch! Falsch! Falsch! Falsch! Falsch! Falsch! Falsch!<br />
0<br />
1<br />
1 2<br />
ε<br />
0<br />
ε<br />
0 1<br />
3 4 5<br />
0<br />
würde zu 0<br />
0<br />
0<br />
0<br />
1<br />
1 2<br />
0 1<br />
3 4 5<br />
Nichtdeterministische endliche Automaten 92/124<br />
0
Change language