$Q$, endliche Menge von Zuständen (Zustandsmenge)

$\Sigma$, endliche Menge von Eingabesymbolen, Alphabet

$\delta$: $Q \times \Sigma \rightarrow Q$, eine Übergangsfunktion

$s$ $\in$ $Q$ , einem Startzustand

$F$ $\subseteq$ $Q$, einer Menge von Endzuständen