Definice:
Nechť G = (N, T, P, S) jeBKG. Pro každé A®xÎPdefinujeme
množinu Predict(A®x) jako:
·pokudEmpty(x) = {e} potom:
Predict(A®x) = First(x) ÈFollow(A)
·jinak pokudEmpty(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 pravidloA
® x.