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

Пусть:

• $G$ - контекстно-свободная грамматика
• $G^{\prime }$ - расширенная грамматика, соответствующая $G$
• $A$ - LR(0)-автомат, построенный по $G^{\prime }$

Тогда:

$G$ называется LR(0)-грамматикой, если каждое состояние автомата $A$ содержащее LR(0)-пункт с точкой $\bullet$ на конце (то есть пункты вида $[A\to \alpha \bullet ],A\in \Gamma ,\alpha \in {\Sigma \cup \Gamma }^{\ast }$) содержит единственный этот пункт