SLR(1)-грамматика

Расширенная грамматика, такая что построенный по ней SLR(1)-анализатор является бесконфликтным

Пусть:

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

Тогда:

$G$ называется SLR(1)-грамматикой, если $A$ является бесконфликтным