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.
:
p
a
®
q
b
L
a
x
y
p
Konfigurace
a
x
y
p
Prav.
:
p
a
®
q
D
L
(1)
c
=
xc
p
a
y
,
c
’ =
x
q
c
b
y
,
y
¹
e
or
b
¹
D
,
r
:
p
a
|
–
q
b
L
Î
R
nebo
(2)
c
=
xc
p
a
,
c
’ =
x
q
c
,
r
:
p
a
|
–
q
D
L
Î
R
c
c
N
ová
Konfigurace
q
b
x
y
q
b
x
y
c
c
nebo
…
p
a
x
p
Konfigurace
a
x
c
c
D
D
q
N
ová
Konfigurace
x
q
D
x
c
c
…
D
D
1
1
/45