LR(0)分析表的构造

活前缀

• 活前缀：是指规范句型的一个前缀，这种前缀不含句柄之后的任何符号。即，对于规范句型$\alpha \beta \delta$，$\beta$为句柄，如果$\alpha \beta =u_1{u}_2\dots u_r$，则符号串$u_1{u}_2\dots u_i(1\le i\le r)$是$\alpha \beta \delta$的活前缀。（$\delta$必为终结符串）
• 规范规约过程中，保证分析栈中总是活前缀，就说明分析采取的移进/归约动作是正确的。

构造识别活前缀的DFA

文法的拓广

将文法$G(S)$拓广为$G^{\prime }(S^{\prime })$

• 构造文法$G^{\prime }$，它包含了整个$G$，并引进不出现在$G$中的非终结符$S^{\prime }$、以及产生式$S^{\prime }\to S$，$S^{\prime }$是$G^{\prime }$的开始符号
• 称$G^{\prime }$是$G$的拓广文法

LR(0)项目

• LR(0)项目：
  • 在每个产生式的右部添加一个圆点
  • 表示我们在分析过程中看到了产生式多大部分
• $A\to XYZ$有四个项目：$A\to \cdot XYZ$、$A\to X\cdot YZ$、$A\to XY\cdot Z$、$A\to XYZ\cdot$
  • $A\to \alpha \cdot$称为“归约项目”
  • 归约项目$S^{\prime }\to \alpha \cdot$称为“接受项目”
  • $A\to \alpha \cdot a\beta (a\in V_T)$称为“移进项目”
  • $A\to \alpha \cdot B\beta (B\in V_N)$称为“待约项目”

构造识别文法所有活前缀的DFA

• 构造识别文法所有活前缀的NFA
  • 若状态$i$为$X\to X_1\dots X_{i-1}\cdot X_i\dots X_n$，状态$j$为$X\to X_1\dots X_{i-1}{X}_i\cdot X_{i+1}\dots X_n$，则从状态$i$画一条标志为$X_i$的有向边到状态$j$
  • 若状态$i$为$X\to \alpha \cdot A\beta$，$A$为非终结符，则从状态$i$画一条$ϵ$边到所有状态$A\to \cdot \gamma$
• 把识别文法所有活前缀的NFA确定化

实例：
先生成NFA

再将NFA转化为DFA

• LR(0)项目集规范族：构成识别一个文法活前缀的DFA的项目集（状态）的全体称为文法的LR(0)项目集规范族

通过计算项目集规范族构造识别活前缀的DFA

有效项目

• 项目$A\to {\beta }_1\cdot {\beta }_2$对活前缀$\alpha {\beta }_1$是有效的，其条件是存在规范推导：
  $S^{\prime }{\stackrel{\ast }{\Rightarrow }}_R\alpha A\omega {\Rightarrow }_R\alpha {\beta }_1{\beta }_2\omega$
• 在任何时候，分析栈中的活前缀$X_1{X}_2\dots X_m$的有效项目集正式从识别活前缀的DFA的初态出发，读出$X_1{X}_2\dots X_m$后到达的那个项目集（状态）

有效项目的性质

• 若项目$A\to \alpha \cdot B\beta$对活前缀$\eta =\delta \alpha$是有效的且$B\to \gamma$是一个产生式，则项目$B\to \cdot \gamma$对$\eta =\delta \alpha$也是有效的

LR(0)项目集规范族的构造

项目集的闭包CLOSURE

假定$I$是文法$G^{\prime }$的任一项目集，定义和构造$I$的闭包CLOSURE($I$)如下：

• $I$的任何项目都属于CLOSURE($I$)
• 若$A\to \alpha \cdot B\beta$属于CLOSURE($I$)，那么，对任何关于$A$的产生式$B\to \gamma$，项目$B\to \cdot \gamma$也属于CLOSURE($I$)
• 重复执行上述两步骤直至CLOSURE($I$)不再增大为止。

状态转换函数

• 为了识别活前缀，我们定义一个状态转换函数，GO是一个状态转换函数。$I$是一个项目集，$X$是一个文法符号。函数值GO($I,X$)定义为：
  GO($I,X$) = CLOSURE($J$)
  其中$J$ = {任何形如$A\to \alpha X\cdot \beta$的项目|$A\to \alpha \cdot X\beta$属于$I$}。
• 直观上说，若$I$是对某个活前缀$\gamma$有效的项目集，那么，GO($I,X$)便是对$\gamma X$有效的项目集。

示例

文法$G(S^{\prime })$：
$S^{\prime }\to E$
$E\to aA|bB$
$A\to cA|d$
$B\to cB|d$
I 0 = { S ′ → ⋅ E , E → ⋅ a A , E → ⋅ b B } I_0 = \{S' \rightarrow \cdot E,E \rightarrow \cdot aA,E \rightarrow \cdot bB\} I0​={S′→⋅E,E→⋅aA,E→⋅bB}
GO($I_0,E$) = CLOSURE( { S ′ → ⋅ E } \{S' \rightarrow \cdot E\} {S′→⋅E}) = $I_1$
GO($I_0,a$) = CLOSURE( { E → a ⋅ A } \{E \rightarrow a\cdot A\} {E→a⋅A}) = { E → a ⋅ A , A → ⋅ c A , A → ⋅ d } \{E \rightarrow a \cdot A, A \rightarrow \cdot cA, A \rightarrow \cdot d\} {E→a⋅A,A→⋅cA,A→⋅d} = $I_2$
GO($I_0,b$) = CLOSURE( { E → b ⋅ B } \{E \rightarrow b\cdot B\} {E→b⋅B} = { E → b ⋅ B , B → ⋅ c B , B → ⋅ d } \{E \rightarrow b \cdot B, B \rightarrow \cdot cB, B \rightarrow \cdot d\} {E→b⋅B,B→⋅cB,B→⋅d} = $I_3$

LR(0)项目集规范族的构造算法示例

大致流程：先从$S^{\prime }\to \cdot E$开始，求闭包，然后根据GO转移。然后对每一个转移后的状态，求闭包，根据GO转移。以此类推！

构造LR(0)分析表的算法

LR(0)分析表的构造

假若一个文法$G$的拓广文法$G^{\prime }$的活前缀识别自动机中的每个状态（项目集）不存在下述情况：

• 既含移进项目又含归约项目
• 含有多个归约项目
  则称$G$是一个LR(0)文法

构造LR(0)分析表的算法

• 令每个项目集$I_k$的下标$k$作为分析器的状态，包含项目$S^{\prime }\to \cdot S$的集合$I_k$的下标$k$为分析器的初态。
• 构造LR(0)分析表的ACTION和GOTO子表。因为文字描述比较复杂和繁琐，因此不再罗列，而是直接给出实例

示例

文法$G(S^{\prime })$：
$S^{\prime }\to E$
$E\to aA|bB$
$A\to cA|d$
$B\to cB|d$
识别活前缀的DFA见前图

	ACTION					GOTO
状态	a	b	c	d	#	E	A	B
0	s2	s3				1
1					acc
2			s4	s10			6
3			s5	s11				7
4			s4	s10			8
5			s5	s11				9
6	r1	r1	r1	r1	r1
7	r2	r2	r2	r2	r2
8	r3	r3	r3	r3	r3
9	r5	r5	r5	r5	r5
10	r4	r4	r4	r4	r4
11	r6	r6	r6	r6	r6