天津科技大学编译原理 第4章LR分析法.pptVIP

4.5LR分析法;由于常见的程序设计语言均能由LR(1)文法产生,因此我们只讨论k=0,1两种情况;

本节中,将先介绍LR分析器的逻辑结构及工作原理,再分别介绍几种LR分析器(即LR(0),SLR(1),LR(1)和LALR(1))的构造;;1.LR分析法

根本思想：在标准规约分析过程中，根据分析栈中记录的已移进和规约出的整个符号串〔即历史〕和根据使用的规那么推测未来可能遇到的输入符号〔即展望〕，以及现实读到的输入符号，这三个方面的信息来确定句柄的形成。

即根据分析栈形成的历史和展望〔常以状态表示〕向右顺序查看输入串的K个〔K=0〕符号就可唯一地确定句柄。

;2.LR分析器的组成;总控程序：所有LR分析器总控程序相同。

分析栈:记录了已分析的内容及当前的状态，包括状态栈S和文法符号栈X。

分析表是LR分析器的核心

ACTION[Si,a](a?VT)当栈顶状态Si面临输入符号a时，应采取分析动作.

GOTO[Si,X](X?VTorVN)指明当分析栈移进一个输入符号或按某产生式进行归约后所要转移到的下一状态。

在分析的每一步，总控程序从左到右扫描输入符号串，并根据状态栈栈顶状态和当前输入符号a查LR分析表，并执行表中规定的操作完成每一步的分析工作。;;3.LR分析器的工作过程;(2)归约rj:其中rj表示按P的第j规那么A?Xm-r+1Xm-r+2?Xm进行归约；这说明栈顶部的符号串Xm-r+1Xm-r+2?Xm是当前句型的句柄。归约的方法是从状态栈和符号栈栈顶去掉r个符号，将A压入符号栈,此时的格局为

S0S1S2…Sm-r

#X1X2…Xm-rAaiai+1ai+2…an#

再以〔Sm-r,A〕查GOTO表,得Sk,将Sk压入状态栈,得到格局:

S0S1S2…Sm-rSk

#X1X2…Xm-rAaiai+1ai+2…an#

注意：完成归约动作时，输入串指针并未移动。;(3)假设ACTION(Sm,ai)=“acc〞，那么说明当前输入串已被成功地分析完毕,结束；

(4)假设ACTION(Sm,ai)=“ERROR〞，那么说明当前输入串有语法错误,转入出错处理程序；

3.重复步骤2.的工作，直到分析栈中只剩文法开始符号和当前读到的输入符号是〞$〞为止。此时的格局应为:

S0SZ

$Z$

其中,Z为文法的开始符号,SZ是使ACTION(SZ,$)=“acc〞的唯一状态。;;5.总控程序的算法;LR分析例〔LR(0)分析〕;对输入串abbcde$的分析过程

(1)S-aAcBe (2)A-b (3)A-Ab (4)B-d;4.5.2LR(0)分析法;1.标准句型的活前缀;活前缀在LR分析中的作用

在LR分析过程中，任何时刻栈中文法符号总是某一标准句型的活前缀。一旦在栈中出现句型的句柄，就用相应的产生式进行归约，

在分析的过程中，只要符号栈中的符号串是一个活前缀，就可保证已被分析过的局部是该文法标准句型的正确局部。

LR分析过程实际上就是一个逐步产生(识别)活前缀的过程。;;〔1〕活前缀与当前句柄的关系

句柄全部在活前缀中(句柄是活前缀的后缀)。

活前缀只含句柄的局部符号(活前缀的后缀是句柄的前缀)。

活前缀不含任何句柄符号。

对于①,应进行归约:A??,记：A???;

对于②,应移进(句柄的后半局部),记：A??1??2;

对于③,期望移进一产生式的右部，记：A???;〔2〕在文法G中每个产生式的右部适当位置添加一个圆点构成LR(0)工程。

例：产生式U→XYZ对应有4个工程

[0]U→?XYZ [1]U→X?YZ

[2]U→XY?Z [3]U→XYZ?

产生式A→ε只有一个工程A→?;文法G(S?)

S?→E

E→aA|bB

A→cA|d

B→cB|d

该文法的工程有：

1.S?→·E 2.S?→E· 3.E→·aA4.E→a·A 5.E→aA· 6.A→·cA

7.A→c·A 8.A→cA· 9.A→·d10.A→d· 11.E→·bB 12.E→b·B

13.E→bB· 14.B→·cB 15.B→c·B