Следствие. О равенстве множества пунктов состояний LR(0)-автомата и множества пунктов, допустимых для активного префикса

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

Состояние LR(0)-автомата, достижимого из его начального состояния по пути, помеченному цепочкой $\gamma$ совпадает с множеством LR(0)-пунктов, допустимых для активного префикса $\gamma$

Доказатетельство:

Следует из теоремы и того факта, определения LR(0)-автомата как эпсилон-замыкания автомата LR(0)-пунктов