Deterministische endliche Automaten

DEA ist die deutsche Abkürzung für Deterministischer Endlicher Automat. Im Englische lautet die Abkürzung DFA fürDeterministic Final Automaton. Auch in deutschsprachiger Fachliteratur wird oft das Akronym DFA genutzt.

Definition

Eine DEA ist ein 5-Tupel DEA = { Q, Σ, δ, E, s} er besteht also aus den folgenden 5 Teilen:

Q Menge aller Zustände (oft auch Z oder S (engl. state))

Σ Alphabet / Menge der Alphabetzeichen (Sigma)

δ Übergangsfunktion (Delta)

E Menge der akzeptierenden Endzustände,

s Startzustand.