Left Move
Definition:
Let
c
,
c
’ be
two
configurations
of
M.
Then,
M
makes a
left
move
from
c
to
c
’according
to
r
, written as
c
|
–
L
c
’
[
r
] or
,
simply,
c
|
–
L
c
’ if
Rule:
p
a
®
q
b
L
a
x
y
p
Configuration
a
x
y
p
Rule:
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
or
(2)
c
=
xc
p
a
,
c
’ =
x
q
c
,
r
:
p
a
|
–
q
D
L
Î
R
c
c
New Configuration
q
b
x
y
q
b
x
y
c
c
…
p
or
a
x
p
Configuration
a
x
c
c
D
D
q
New Configuration
x
q
D
x
c
c
…
D
D
1
1
/45