Изменения

Перейти к: навигация, поиск

LR(k)-грамматики

2 байта убрано, 18:19, 30 августа 2015
Нет описания правки
* не более <tex>k</tex> символов цепочки (англ. ''k-token lookahead'') используются для принятия решения.
====Замечание о пополненной грамматике====
Использование в определении LR(k)-грамматики пополненной грамматики существенно для однозначного определения конца анализа. Действительно, если грамматика использует <tex>S</tex> в правых частях правил, то свертка основы в <tex>S</tex> не может служить сигналом приема входной цепочки. Свертка же в <tex>S'</tex> в пополненной грамматике служит таким сигналом, поскольку <tex>S'</tex> нигде, кроме начальной сентенциальной формы, не встречается.
297
правок

Навигация