LL(1)

Eine kontextfreie Grammatik ist LL(1), wenn

Für alle Produktionen A = alpha | | ... muß jeweils für alle Paare von Alternativen gelten:
FIRST( alpha ) geschnitten mit FIRST() = {}

Für alle A: A ->^* epsilon :
FIRST( alpha ) geschnitten mit FOLLOW(A) = {}

Recursive-Descent-Parsing mit einer Vorausschau von einem Terminal-Symbol läßt sich genau dann eindeutig durchführen, wenn die Grammatik LL(1) ist.

	Für alle Produktionen A = \| \| ... muß jeweils für alle Paare von Alternativen gelten: FIRST() geschnitten mit FIRST() = {}
	Für alle A: A ->^* : FIRST() geschnitten mit FOLLOW(A) = {}