You are not logged in.

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.

Lexikon 4.1.5, developed by www.viecode.com