LR分析法

概述

• 规范规约：句柄作为可规约串
• 工作流程：将文法交给分析表产生器，产生分析表。将输入交给总控程序，配合上分析表，得到输出

句柄和规范规约

定义

• 短语：令$G$是一个文法，$S$是文法的开始符号，假定$\alpha \beta \delta$是文法$G$的一个句型，如果有：
  $S\stackrel{\ast }{\Rightarrow }\alpha A\delta$且$A\stackrel{+}{\Rightarrow }\beta$
  则$\beta$称是句型$\alpha \beta \delta$相对于非终结符$A$的短语
• 直接短语：如果有$A\Rightarrow \beta$，则称$\beta$是句型$\alpha \beta \delta$相对于规则$A\to \beta$的直接短语。
• 句柄：一个句型的最左直接短语称为该句型的句柄

规范规约

定义：假定$\alpha$是文法$G$的一个句子，我们称序列${\alpha }_n,{\alpha }_{n-1},\dots ,{\alpha }_0$是$\alpha$的一个规范规约，如果此序列满足：

• ${\alpha }_n=\alpha$
• ${\alpha }_0$为文法的开始符号，即${\alpha }_0=S$
• 对于任何$i$，$0\le i\le n$，${\alpha }_{i-1}$是从${\alpha }_i$经把句柄替换成为相应产生式左部符号而得到的。

规范句型

• 规范规约是最左规约
• 规范规约的逆过程就是最右推导
• 最右推导也称为规范推导
• 由规范推导推出的句型称为规范句型

LR分析法

规范规约VS句柄

• 规范规约的关键问题是寻找句柄
  • 历史：已移入符号栈的内容
  • 展望：根据产生式推测未来可能遇到的输入符号
  • 现实：当前的输入符号

LR分析法的结构

• LR分析方法：把“历史”及“展望”综合抽象成状态；由栈顶的状态和现行的输入符号唯一确定每一步工作

LR分析表

LR分析器的核心是一张分析表

• $ACTION[S,a]$：当状态$s$面临输入符号$a$时，应采取什么动作
  • 移进(shift)：把$(s,a)$的下一个状态$s^{\prime }$和输入符号$a$推进栈，下一输入符号变成现行输入符号
  • 规约(reduce)：用某产生式$A\to \beta$进行规约。假若$\beta$的长度为$r$，去除栈顶$r$个项，使状态$s_{m-r}$变成栈顶状态，然后把下一状态$s^{\prime }=GOTO[s_{m-r},A]$和文法符号$A$推进栈
  • 接受：宣布分析成功，停止分析器工作
  • 报错
• $GOTO[s,X]$：状态$s$面对文法符号$X$时，下一状态是什么

LR分析法演示

根据文法$G(E)$：
（1）$E\to E+T$
（2）$E\to T$
（3）$T\to T\ast F$
（4）$T\to F$
（5）$F\to (E)$
（6）$F\to i$
分析输入串$i\ast i+i$
LR分析表为：

	ACTION						GOTO
状态	i	+	*	(	)	#	E	T	F
0	s5			s4			1	2	3
1		s6				acc
2		r2	s7		r2	r2
3		r4	r4		r4	r4
4	s5			s4			8	2	3
5		r6	r6		r6	r6
6	s5			s4				9	3
7	s5			s4					10
8		s6			s11
9		r1	s7		r1	r1
10		r3	r3		r3	r3
11		r5	r5		r5	r5

LR分析法：

步骤	状态	符号	输入值
1	0	#	i*i+i#
2	05	#i	*i+i#
3	03	#F	*i+i#
4	02	#T	*i+i#
5	027	#T*	i+i#
6	0275	#T*i	+i#
7	027 10	#T*F	+i#
8	02	#T	+i#
9	01	#E	+i#
10	016	#E+	i#
11	0165	#E+i	#
12	0163	#E+F	#
13	0169	#E+T	#
14	01	#E	#
15	接受

LR文法

• 定义：对于一个文法，如果能够构造一张分析表，使得它的每个入口均是唯一确定的，则这个文法就称为LR文法。
• 定义：一个文法，如果能用一个每步顶多向前检查$k$个输入符号的LR分析器进行分析，则这个文法就称为LR(k)文法
• LR文法不是二义的，二义文法肯定不是LR文法。