• Input: M = (Q, S, R, s, F); p Î Q
• Output: e-closure(p)
• Method:
• 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-closure(p) := Qi.
Algorithm: e-closure
8/44