Levý přechod
Definice: Nechť c, c’ jsou dvě konfigurace TS M. Potom  M může provést levý přechod  z c do c’ použitím r, zapsáno c |–L c’ [r] nebo zjednodušeně c |–S c’ pokud:
Prav.: pa ® qbL
a
x
y
p
Konfigurace
a
x
y
p
Prav.: pa ® qDL
    (1) c = xcpay, c’ = xqcby, y ¹ e or b ¹ D, r:pa |– qbL Î R nebo
    (2) c = xcpa, c’ = xqc, r: pa |– qDL Î R
c
c
Nová Konfigurace
q
b
x
y
q
b
x
y
c
c
nebo
…
p
a
x
p
Konfigurace
a
x
c
c
D
D
q
Nová Konfigurace
x
q
D
x
c
c
…
D
D
11/45