a
i
a
n
…
a
1
a
2
…
Read head
Input tape:
s
q
1
q
2
q
i
q
n
Finite State Control
...
...
Current state
Configuration
Configuration
Definition:
Let
M
= (
Q
,
S
,
R
,
s
,
F
) be a FA.
A configuration
of
M
is a string
c
Î
Q
S
*
q
i
Gist:
Instance description of FA
12
/2
9