• Vstup: G = (N, T, P, S); položka I
• Výstup: Closure(I)
• Metoda:
• Closure(I) := {I};
• Používej
následující pravidlo, dokud bude možné
měnit množinu Closure(I):
• if A
® y·Bz Î Closure(I) and B ® x Î P then
přidej položku B ® ·x do Closure(I)
Uzávěr položek: Algoritmus
21/42
Pozn.: Uzávěr
položky I, Closure(I) je množina položek definována pomocí následujícího algoritmu: