Базисный LR(0)-пункт

LR(0)-пункт $q=[A\to {\beta }_1\bullet {\beta }_2]$ расширенной грамматики $G^{\prime }=(\Sigma ,\Gamma \cup \{S^{\prime }\},P\cup \{S^{\prime }\to S\},S^{\prime })$ называется базисным, если

• либо ${\beta }_1\ne \epsilon$ ($\bullet$ не в начале)
• либо $q=[S^{\prime }\to \bullet S]$