Изменения

Говоря неформально, мы делаем правостороннюю свёртку нашей строки в стартовый нетерминал. Если по не более чем <tex>k</tex> символам неразобранной части строки мы можем однозначно определить, во что сворачивается хвост выведенного правила, то грамматика будет LR(k).

* входная цепочка обрабатывается слева направо (англ. ''left-to-right parse''),

* выполняется правый вывод (англ. ''rightmost derivation''),