Stacionární přechod
Definice: Nechť c, c’ jsou dvě konfigurace TS M. Potom M může provést stacionární přechod  z c do c’ použitím r, zapsáno c |–S c’ [r] nebo zjednodušeně c |–S c’ pokud:
c = xpay,  c’ = xqby a r: pa ® qbS Î R
a
x
y
p
Ilustrace:
Pravidlo: pa ® qbS
a
x
y
p
Konfigurace
b
x
y
q
b
x
y
q
Nová konfigurace
9/45