Автомат LR(1)-пунктов

Определяется по аналогии с автоматом LR(0)-пунктов

Автоматом LR(1)-пунктов расширенной грамматики $G=(\Sigma ,\Gamma ,P,S^{\prime })$ называется неполный эпсилон-НКА $(Q,\Sigma \cup \Gamma ,\delta ,q_0,Q)$, где

• $Q$ — множество LR(1)-пунктов грамматики $G$
• $q_0=[S^{\prime }\to \bullet S,⊣]$

Функция переходов $\delta$ задается следующим образом:

$$\delta (q,x)=\{\begin{array}{ll}\{[A\to {\beta }_{1}x\bullet {\beta }_2,a]\}& \text{если }q=[A\to {\beta }_1\bullet x{\beta }_2,a],x\in \Sigma \cup \Gamma ,a\in \Sigma \cup \{⊣\}\\ \{[B\to \bullet \gamma ,b]\}& \text{если }q=[A\to {\beta }_1\bullet B{\beta }_2,a]\text{ и }x=\epsilon ,B\in \Gamma ,a\in \Sigma \cup \{⊣\},b\in FIRST({\beta }_{2}a)\end{array},{\beta }_1,{\beta }_2,\gamma \in (\Sigma \cup \Gamma {)}^{\ast }$$

Где $FIRST({\beta }_{2}a)$ - множество FIRST от цепочки ${\beta }_{2}a$

Полагать, что $FIRST(⊣)=⊣$