LR(k) ist die Menge aller CFG G,
bei denen im angegebenen Automaten
durch Vorausschau um k Zeichen
die auszuführende Regel (reduce) eindeutig bestimmt ist.
Definition:
Für alle Paare von Rechtsableitungen
SuTvuwv
Su'T'v'uwv',
bei denen v und v' bis zur Länge k übereinstimmen,
gilt
u = u', T = T', v = v'