Halten vs. Akzeptieren

• Haltend: Eine Konfiguration $azb$ ist haltend, wenn es für $(z,\text{erstes Zeichen von }b)$ keine $\delta$-Regel gibt ($\delta =\mathrm{\perp }$).
• Akzeptierend: Eine Konfiguration $azb$ ist akzeptierend, wenn $z\in E$.

Hinweis: In dieser Definition ist der Definitionsbereich von $\delta$ auf $(Z\setminus E)$ beschränkt. Das bedeutet: Sobald ein Endzustand $z\in E$ erreicht wird, gibt es keine Regel mehr. Jede akzeptierende Konfiguration ist daher in diesem Modell immer auch eine haltende Konfiguration.