Deterministische Endliche Automaten
Deterministisch:
Das Ergebnis des Automaten ist vorherbestimmt. Bei selben Bedingungen und der selben Eingabe landet der Automat immer im selben Endzustand.
Endlich:
Der Automat hat nur eine endliche Anzahl von Zuständen
Formale Definition
5-Tupel:
Q
Die Menge aller Möglichen Zustände des Automaten. Q ist nicht unendlich groß
s
s ist ein Zustand aus Q, welcher der Startzustand des Automaten ist.
Σ Sigma
Ein endliches Eingabealphabet. Die möglichen Eingaben die der Automat akzeptiert.
F
F ist die Menge aller akzeptierten Endzustände