DFA

Konstrukt, das für jede Eingabe in einen festgelegten Zustand wechselt und das eine endliche Menge von Zuständen besitzt

AVGP