LL(k)-Grammatiken

Für k $\in$ $\mathbb {N}$:

LL(k) ist die Menge aller CFG G, bei denen im angegebenen Automaten durch Vorausschau um k Zeichen die auszuführende Regel eindeutig bestimmt ist.

Definition:

Für alle Paare von Linksableitungen

$$\to_{L}^{*} \to_{L}^{} \to_{L}^{*}$$

$$\to_{L}^{*} \to_{L}^{} \to_{L}^{*}$$

bei denen x und x' bis zur Länge k übereinstimmen,
gilt w = w'.