Folgekonfiguration (⊢M1)

Das Symbol $⊢_{M}^{1}$ bedeutet "...ergibt in einem Schritt...". Es beschreibt formal, wie sich die Konfiguration ändert.

Sei die Regel $δ (z, b_{1} ) = (z', c, p)$ :

Bewegung N (Nicht): $a z b_{1} b_{2} . . . ⊢_{M}^{1} a z^{'} c b_{2} . . .$
Bewegung R (Rechts): $a z b_{1} b_{2} . . . ⊢_{M}^{1} a c z^{'} b_{2} . . .$ (Das z′ rückt eine Position nach rechts).
Bewegung L (Links): $a_{m - 1} a_{m} z b_{1} b_{2} . . . ⊢_{M}^{1} a_{m - 1} z^{'} a_{m} c b_{2} . . .$ (Das z′ rückt eine Position nach links).