297
правок
Изменения
→LR(k)-грамматика
* зная цепочку <tex>\alpha \beta = X_1 X_2 ... X_r</tex> и не более <tex>k</tex> символов цепочки <tex>w</tex>, мы можем быть уверены, что именно <tex>\beta</tex> является основой, сворачиваемой в нетерминал <tex>A</tex>;
* если <tex>\alpha_{i-1} = S'</tex>, можно сигнализировать о выводимости исходной терминальной цепочки из <tex>S'</tex> и, следовательно, из <tex>S</tex>.
// TODO end
LR(k) означает, что
* входная цепочка обрабатывается слева направо (англ. ''left-to-right parse'');
* выполняется правый вывод (англ. ''rightmost derivation'');
* не более <tex>k</tex> символов цепочки (англ. ''k-token lookahead'') используются для принятия решения.
== LR(k)-Разбор ==
