Теорема. Основная теорема LR-анализа

Пусть:

• $G$ - расширенная грамматика
• $I_G=(\_,\_,\_,q_0,\_)$ - Автомат LR(0)-пунктов, построенный по грамматике $G$

Тогда

LR(0)-пункт $q=[A\to {\beta }_1\bullet {\beta }_2]$ грамматики $G$ допустим для активного префикса $\gamma$ некоторой r-формы $\iff$ в автомате пунктов $I_G$ есть путь из начального состояния $q_0$ в $q$, помеченный цепочкой $\gamma$

Доказательство основной теоремы LR-анализа