LL gramatiky s e-pravidly: Definice
Definice: Nechť G = (N, T, P, S) je BKG. G je
LL-gramatika, pokud pro každé a Î T a každé
A Î N existuje maximálně jedno A-pravidlo tvaru
A ® X1X2...Xn Î P a platí: a Î Predict(A ® X1X2...Xn)
Ilustrace:
a Î Predict(A ® X1X2...Xn)
Nesmí nastat v LL-gramatice
a Î Predict(A ® Y1Y2...Ym)
Pravidlo r1:
A ® X1X2...Xn
X1
X2
Xn
…
Pravidlo r2:
A ® Y1Y2...Ym
Y1
Y2
Ym
…
a
A
 x
S
 y
a
A
 x
S
 y
40/57