M = (Q, S, R, s, F),
kde:
Q = {s, q1,
q2, f}; S = {a, b, c}; F = {f }
R
= {sa ® s, sb ® q1, sb ® f, sc ® q2, sc ® f, q1b ® q1, q1b ® f, q2c ® q2, q2c ® f , fa ® f};
Rd :=
Æ È {{s}a ®{s}, {s}b ®{q1,
f}, {s}c ®{q2,
f}} Qnew = {{q1, f
}, {q2, f }}, Qd = Æ È {{s}}, Fd = Æ