Автоматом LR(0)-пунктов расширенной грамматики называется неполный эпсилон-НКА , где
- — множество LR(0)-пунктов грамматики
Функция переходов задается следующим образом:
Автоматом LR(0)-пунктов расширенной грамматики G=(Σ,Γ,P,S′) называется неполный эпсилон-НКА (Q,Σ∪Γ,δ,q0,Q), где
Функция переходов δ задается следующим образом:
δ(q,x)={{[A→β1x∙β2]}{[B→∙γ]}q=[A→β1∙xβ2],x∈Σ∪Γq=[A→β1∙Bβ2],x=ε,B∈Γ,β1,β2,γ∈(Σ∪Γ)∗