represents q Î Q
represents the initial state s Î Q
represents a final state f Î F
denotes pa ® qbS Î R
q
s
f
p
q
a/b, S
Graphical Representation
denotes pa ® qbR Î R
p
q
a/b, R
denotes pa ® qbL Î R
p
q
a/b, L
5/45