denotes a state
q
Î
Q
denotes the start state
s
Î
Q
denotes a final state
f
Î
F
denotes
pa
®
q
Î
R
q
s
f
p
q
a
Graphical
Representation
8
/2
9