Допустимый для активного префикса LR(1)-пункт

В расширенной грамматике $G=(\Sigma ,\Gamma ,\_,S^{\prime })$ её LR(1)-пункт $[A\to {\beta }_1\bullet {\beta }_2,a]$ допустим для активного префикса $\gamma ={\gamma }^{\prime }{\beta }_1$ некоторой r-формы ${\gamma }^{\prime }{\beta }_1{\beta }_{2}v$, если существует правосторонний вывод

$$S^{\prime }{\Rightarrow }^{\ast }{\gamma }^{\prime }Av\Rightarrow {\gamma }^{\prime }{\beta }_1{\beta }_{2}v{\Rightarrow }^{\ast }uv$$

и цепочка $v$ начинается с символа $a$

• ${\gamma }^{\prime },{\beta }_1,{\beta }_2\in (\Sigma \cup \Gamma {)}^{\ast }$
• $u,v\in \Sigma$