Folien
Folien
Folien
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
2.73 Zum Nachdenken<br />
◮ Vergrößerung von F ändert nichts an der akzeptierten Sprache.<br />
◮ Es wäre falsch, auch die „umgekehrte“ Vergrößerung von F<br />
durchzuführen.<br />
ε<br />
Damit ist gemeint: Ist z −→ z ′ ein Übergang und ist z ∈ F ,<br />
dann kann die Hinzunahme von z ′ zu F dazu führen, dass sich<br />
die vom NEA akzeptierte Sprache ändert.<br />
◮ Entfernung der ε-Übergänge und deren Ersetzung durch<br />
andere Übergänge ändert nichts an der akzeptierten Sprache.<br />
Nichtdeterministische endliche Automaten 95/124
Change language