Move
Definition:
Let
p
a
x
and
q
x
be
two
configurations
of
M
, where
p
,
q
Î
Q
,
a
Î
S
È
{
e
}, and
x
Î
S
*
.
Let
r
=
p
a
®
q
Î
R
be a rule
.
Then
M
makes a
move
from
p
a
x
to
q
x
according to
r
, written as
p
a
x
|
–
q
x
[
r
]
or, simply,
p
a
x
|
–
q
x
Note:
if
a
=
e
, no input symbol is read
Rule:
p
a
®
q
Gist:
Computational step of FA
13
/2
9
Configuration:
a
p
x
New configuration:
q
…
x