Handout - Institut für Theoretische Informatik - Technische ...

Endliche Automaten
ε - Übergänge
Einige Anmerkungen:
Jeder NEA ist ein εNEA, mit δ(ε) = ∅ .
Manche Authoren führen ein separates Label ≠ ε für spontane
Übergänge ein; bisher sehe ich darin keinen Vorteil.
Es gibt keine vollständigen εDEAs: fordert man Funktionen δ(a) für
a ∈ X ε , so hat man in jedem Zustand die Option, den nächsten
Buchstaben zu verarbeiten oder stattdessen einen ε-Übergang zu
vollziehen. Genau dies verhindert aber die Bedingung
D(δ(ε)) ∩ D(δ(a)) = ∅ für alle a ∈ X . Also schließen sich die
Existenz spontaner Übergänge und die Existenz einer Funktion δ(a)
im deterministischen Fall aus.
Im deterministischen Fall soll die Forderung F ; δ(ε) ⊆ F Übergänge
in Nicht-Endzustände verhindern, nachdem ein Wort bereits
akzeptiert wurde. Damit können akzeptierende Berechnungen ihren
Status nicht mehr ändern. ε-Übergänge von Nicht-Endzuständen in
Endzustände sind nicht verboten.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 54 / 191