• Vstup: M = (Q, S, R, s, F); p Î Q
• Výstup: e-uzávěr(p)
• Metoda:
• i := 0; Q0  := {p};
• repeat
i := i + 1;
Qi := Qi-1 È { p’: p’ Î Q, q ® p’ Î R, q Î Qi-1 };
until Qi = Qi-1;
• e-uzávěr(p) := Qi.
Algoritmus: e-uzávěr
8/44