Изменения

==Канонические LR(1)-состоянияпункты==

Основная идея заключается в том, чтобы хранить в состояниях пунктах больше информации, чтобы не производить некорректных свёрток. Добавим в состояния пункт второй компонент: терминальный символ. Таким образом, состояния $LR(1)$-пункты будут выглядеть следующим образом:  $[A\rightarrow\alpha\cdot\beta, a]$, где первая часть - продукция, а вторая - терминал или маркер конца входной строки $\char36$. Здесь$a$ называется предпросмотром (англ. ''lookahead'') пункта, а цифра $1$ в $LR(1)$ означает его длину.Теперь мы будем выполнять свёртку в соответствии с продукцией $A\rightarrow\alpha$, только в том случае, если пункт $[A\rightarrow\alpha\cdot\beta, a]$ принадлежит состоянию на вершине стека, и $a$ - входной символ.{{Определение|id=defValid |definition=Назовём $LR(1)$ - пункт $[A\rightarrow\alpha\cdot\beta, a]$ '''допустимым''' (англ. ''valid'') для активного префикса $\gamma$, если существует правое порождение $S\Rightarrow^{*}\delta A w\Rightarrow\delta\alpha\beta w$, где верно одно из трёх:* $\gamma=\delta\alpha$* $a$ является первым символом $w$* $w=\epsilon$ и $a=\char36$}}