M = (Q, S, R, s, F),
where:
Q = {s, q1,
q2, f}; S = {a, b, c};
R = {sa ® s, s ® q1, q1b ® q1, q1b ® f, s ® q2, q2c ® q2, q2c ® f, fa ® f };
F = {f }
1) for p = s: e-closure(s)
= {s, q1, q2}
A. sd ® q’, d Î S, q’ Î Q: sa ® s
B.
q1d ® q’, d Î S, q’ Î Q: q1b ® q1, q1b ® f
C. q2d ® q’, d Î S, q’ Î Q: q2c ® q2, q2c ® f
R’ = Æ È {sa ® s, sb ® q1, sb ® f, sc ® q2, sc ® f }