• Vstup: G = (N, T, P, S) bez e-pravidel
• Výstup: First(X) pro každé X Î N È T
• Metoda:
• pro každé a Î T: First(a) := {a}
• Používej následující pravidlo, dokud bude možné měnit nějakou množinu First:
• if A ® X1X2…Xn Î P, then přidej First(X1) do First(A)
Algoritmus: First(X)
1) pro každé a Î T:
    First(a) := {a},
    protože a Þ0 a
Ilustrace:
a Î First(A)
A
X1
X2
…
Xn
2)
a Î First(X1)
… 
a
7/57