Sunday, December 5th 2010, 1:01pm
Tags
automat,
endlich,
NEA,
nicht-deterministisch,
ε-NEA
Abstract
Hier wird die Umwandlung eines ε-NEA zu einem NEA erläutert.
Ein ε-NEA ist ein nicht-deterministischer endlicher Automat mit ε-Übergängen.
Ein NEA ist ein Nicht-deterministischer endlicher Automat.
Article
1.
Zyklus eliminieren
Falls ε-Zyklen existieren, fasse alle Zustände eines Zyklus zu einem zusammen und übernehme alle von ε verschiedenen Eingabezeichen des Zyklus in einer Schleife
2.
Zustände zu Endzuständen
Mache jeden Zustand s, von dem aus eine ε-Übergangssequenz in einen Endzustand führt, selbst zu einem Endzustand.
3.
Übergangsfolgen bereinigen
4.
Alle restlichen Übergänge, die von s mit a 6=e nach t übergehen bleiben unverändert.
5.
Entferne alle im neuen Diagramm nicht mehr erreichbaren Zustände.
Request deletion
report critical content