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.

Formale Definition

Bearbeiten

Sei   =   ein NFA.

  •   ist eine endliche Zustandsmenge.
  •   ist das Eingabealphabet.
  •  
  •   ist der Startzustand.
  •   ist eine (endliche) Menge möglicher akzeptierender Zustände.

  ist genau dann ein UFA, wenn für alle

  •  ,
  •  ,
  •   gilt
 
 
 

Anmerkung

Bearbeiten

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.