Move
Definition:
Let
c
,
c
’ be
two
configurations
of
M.
Then,
M
makes a
move
from
c
to
c
’ according to
a rule
r
, written as
c
|
–
c
’
[
r
] or
,
simply,
c
|
–
c
’ if
c
|
–
X
c
’
[
r
] for some
X
Î
{
S
,
R
,
L
}.
1
2
/45