Eindeutiger endlicher Automat

Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.

Der eindeutige endliche Automat (englisch unambiguous finite automaton, UFA) nimmt seine Stellung zwischen dem deterministischen endlichen Automaten (DEA, engl. DFA) und dem nichtdeterministischen endlichen Automaten (NEA, engl. NFA) ein.

Ein UFA ist im Grunde ein NFA, mit der Einschränkung, dass für jedes Eingabewort nur ein Weg durch die Zustände zu der Menge der akzeptierenden Zustände führen darf. Wie der NFA ist auch der UFA nichtdeterministisch und darf einen Zustand über mehrere Wege mit demselben Symbol verlassen.

Sei ${\displaystyle {\mathcal {M}}}$ = ${\displaystyle \left(Q,\Sigma ,\delta ,q_{0},F\right)}$ ein NFA.

• ${\displaystyle Q}$ ist eine endliche Zustandsmenge.
• ${\displaystyle \Sigma }$ ist das Eingabealphabet.
• ${\displaystyle \delta :Q\times \Sigma \rightarrow {\mathcal {P}}(Q)}$
• ${\displaystyle q_{0}\in Q}$ ist der Startzustand.
• ${\displaystyle F\subseteq Q}$ ist eine (endliche) Menge möglicher akzeptierender Zustände.

${\displaystyle {\mathcal {M}}}$ ist genau dann ein UFA, wenn für alle

• ${\displaystyle x,y\in \Sigma ^{*}}$,
• ${\displaystyle q_{1},q_{2}\in Q}$,
• ${\displaystyle f_{1},f_{2}\in F}$ gilt

${\displaystyle (q_{0},xy)\rightarrow ^{*}(q_{1},y)\rightarrow ^{*}(f_{1},\epsilon )}$

${\displaystyle \Rightarrow q_{1}=q_{2}}$

${\displaystyle (q_{0},xy)\rightarrow ^{*}(q_{2},y)\rightarrow ^{*}(f_{2},\epsilon )}$

Die formale Definition besagt, dass beim UFA für kein Wort, welches von dem Automaten akzeptiert wird, zwei verschiedene Zwischenzustände erreicht werden dürfen.