M = (Q, S, R, s, F),
pb ® p,
b
pb ® f,
b
e
s   ® p,
s   ® q,
e
qc ® f,
c
a
 fa ® f };
qc ® q,
c
p
q
s
f
• Q = {s, p, q, f};
• S = {a, b, c};
a
• R = {sa ® s,
where:
Graphical Representation: Example
• F = {f }
9/29