Deterministischer Endlicher Automat

Ein DFA ist ein Quintupel (ein 5-Tupel) $M=(Z,\Sigma ,\delta ,z_0,E)$ mit:

1. $Z$: Eine endliche Menge von Zuständen (die Kreise im Diagramm).
2. $\mathrm{\Sigma }$: Ein endliches Eingabealphabet (die Zeichen, die der Automat lesen kann, z.B. $\{0,1\}$).
3. $\delta$: Die Überführungsfunktion (die Pfeile). Sie ist die "Logik" der Maschine: $\delta :Z\times \mathrm{\Sigma }\to Z$.
4. $z_0$: Der Startzustand (der Zustand, bei dem die Maschine immer anfängt).
5. $E$: Die Menge der Endzustände (die Doppelkreise). Landet der Automat hier, wird das Wort "akzeptiert".