ai
an
…
a1
a2
…
Read head
Input tape:
s
q1
q2
qi
qn
Finite State Control
Textové pole: ...
...
Textové pole: ...
...
Current state
Configuration
Configuration
Definition: Let M = (Q, S, R, s, F) be a FA.
A configuration of M is a string c Î QS*
qi
 Gist: Instance description of FA
12/29