$Q$

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

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

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