Ablauf: Pfad von Beginn bis unendlich oder Endzustand (also maximal)
$S \subseteq \text{States}$ Zustände
$A \subseteq \text{ACT}$ Aktionen
$\Delta \subseteq S \times A \times S$ Übergangsrelation
$q_0 \in S$ Anfangszustand
$q \xrightarrow{a}_\Delta p$