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};
Qd = {{s}, {s,q1},
{s,q1,q2}, {s,q1,
f}, {s,q1,q2, f}, {s,q2},
{s,q2, f},
{s, f}, {q1},
{q1,q2}, {q1, f}, {q1,q2,
f}, {q2}, {q2, f}, { f}}
Rd = Æ È {{s}a ®{s}, {s}b ®{q1,
f}, {s}c ®{q2,
f}}