Deterministischer endlicher Automat

Ein deterministischer endlicher Automat (DEA; englisch deterministic finite state machine oder deterministic finite automaton, DFA) ist in der theoretischen Informatik ein endlicher Automat, der unter Eingabe eines Zeichens seines Eingabealphabetes (den möglichen Eingaben) von einem Zustand, in dem er sich befindet, in einen eindeutig bestimmten Folgezustand wechselt. Von jedem (Final-)Zustand ${\displaystyle q_{n}\in F\cup Q}$ muss für jedes Zeichen des Eingabealphabets ${\displaystyle \Sigma }$ ein Übergang in einen Folgezustand existieren. Er unterscheidet sich darin von nichtdeterministischen endlichen Automaten, deren Zustandswechsel sich nicht immer deterministisch ereignen müssen.