M = (Q, S, R, s, F), kde: Q = {s, p, q, f}, S = {a},
R = {s ® p, p ® q, qa ® f }, F = {f}
Určeme: e-uzávěr(s)
 e-uzávěr: Příklad
Q0 = {s}
1) s ® p’; p’ Î Q: s ® p
Q1 = {s} È {p} = {s, p}
2) s ® p’; p’ Î Q: s ® p
p ® p’; p’ Î Q: p ® q
Q2 = {s, p} È {p, q} = {s, p, q}
3) s ® p’; p’ Î Q: s ® p
p ® p’; p’ Î Q: p ® q
q ® p’; p’ Î Q: nic
Q3 = {s, p, q} È {p, q} = {s, p, q} = Q2 = e-uzávěr(s)
9/44