• Vstup: G = (N, T, P, S)
• Výstup: Empty(X) pro každý symbol X Î N È T
• Metoda:
• pro každé a Î T: Empty(a) := Æ
• pro každé A Î N:
if A ® e Î P then Empty(A) := {e}
                                else Empty(A) := Æ
• Používej následující pravidlo, dokud bude možné měnit nějakou množinu Empty:
• if A ® X1X2… Xn Î P and Empty(Xi) = {e} pro všechna i = 1,…, n then Empty(A) = {e}
Algoritmus: Empty(X)
17/57