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