Изменения
→Канонические LR(1)-состояния
</wikitex>
==Канонические LR(1)-состояния==
<wikitex>
Основная идея заключается в том, чтобы хранить в состояниях больше информации, чтобы не производить некорректных свёрток.
Добавим в состояния второй компонент: терминальный символ. Таким образом, состояния будут выглядеть следующим образом: $[A\rightarrow\alpha\cdot\beta, a]$, где первая часть - продукция, а вторая - терминал или маркер конца входной строки $\char36$. Здесь
</wikitex>
