M = (Q, S, R, s, F), kde:
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) pro p = s: e-uzávěr(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 }
Odstranění e-přechodů: Příklad 1/3
11/44