Množina Predict
Definice: Nechť G = (N, T, P, S) je BKG. Pro každé A ® x Î P definujeme množinu  Predict(A ® x) jako:
· pokud  Empty(x) = {e} potom:
       Predict(A ® x) = First(x) È Follow(A)
· jinak pokud  Empty(x) = Æ potom:
       Predict(A ® x) = First(x)
Myšlenka: Predict(A ® x) je množina všech terminálů, které mohou být aktuálně nejlevěji vygenerovány, pokud pro libovolnou větnou formu použijeme pravidlo A ® x.
34/57