Следствие. Язык, распознаваемый автоматом пунктов грамматики, совпадает с языком всех активных префиксов грамматики

Из основной теоремы LR-анализа:

todo дать определение языка

Язык, распознаваемый автоматом пунктов расширенной грамматики $G$ совпадает с языком всех активных префиксов грамматики $G$