西北工业大学编译原理课件第四章 语法分析和语法分析程序3.pptVIP

4.2.4 LR分析法 迄今为止我们所学的分析方法对文法都有一定的要求,即有局限性; 1965年D.Knuth提出了分析效率极高的LR(k)分析技术; LR分析: 自左至右扫描的自底向上的分析; 在分析的每一步,只须根据分析栈中的已移进的和已归约出的符号,并至多向前扫描k个字符就能确定应采取什么分析动作(移进、归约、接受、报错); LR分析对文法要求很少,效率极高,且能及时发现错误,是目前最广泛使用的方法;一般用CFG描述的语言均可用LR分析法 LR分析综述 计算机理论研究已证明了如下结论: LR(k)文法是无二义性文法; LR(k)文法与LR(1)文法等价. 由于常见的程序设计语言均能由LR(1)文法产生,因此我们只讨论k=0,1两种情况; 本节中,我们将先介绍LR分析器的逻辑结构及工作原理,再分别介绍几种LR分析器(即LR(0),SLR(1),LR(1)和LALR(1))的构造; LR(0)简单,能力低; SLR(1)能力强于LR(0); LR(1)能力强,但分析表大; LALR(1)能力介于SLR(1)与LR(1)之间,表大小与SLR(1)相同,是最常用的分析方法 LR分析器的逻辑结构及工作原理 分析器自左至右地扫描输入串的各符号，并根据当前分析栈的内容及正扫描的符号按分析表的指示完成相应的动作。 分析栈记录了已分析的内容及当前的状态； 开始时，栈内放入#及开始状态S0，随着分析的深入，栈内容总是刻划了当前的状态，及分析的“历史”。 LR分析表 LR分析表是LR分析器的核心，它由分析动作(ACTION)表和状态转移(GOTO)表两个子表组成; ACTION[Sm,ai]指明当栈顶为Sm,输入符为ai时应完成的分析动作; GOTO[Sm,Xi]指明当分析栈移进一个输入符号或按某产生式进行归约后所要转移到的下一状态. LR分析器的工作过程 1.分析开始时,首先将初始状态S0及#压入栈; 2.设在分析的某一步,分析栈和余留输入串处于格局: LR分析器的工作过程(续) (2)归约rj 其中rj表示按P的第j产生式A?Xm-r+1Xm-r+2?Xm进行归约;这表明栈顶部的符号串Xm-r+1Xm-r+2?Xm是当前句型的句柄.归约的方法是,将栈顶符号串Xm-r+1Xm-r+2?Xm(r个符号)从栈顶退出,再将A压入栈,此时的格局为 S0S1S2…Sm-r # X1X2…Xm-rA aiai+1ai+2…an# 再以（Sm-r,A）查GOTO表,得Sk,将Sk压入栈,得到格局: S0S1S2…Sm-rSk # X1X2…Xm-rA aiai+1ai+2…an# 注意,完成归约动作时,输入串指针并未移动. (3)若ACTION(Sm,ai)=“acc”,则表明当前输入串已被成功地分析完毕,结束; (4)若ACTION(Sm,ai)=“ERROR”,则表明当前输入串有语法错误,转入出错处理程序; 3. 重复步骤2.的工作,直到分析的某步,栈顶出现“acc”为止.此时的格局应为: S0SZ # # Z 其中,Z为文法 的开始符号, SZ是使ACTION(SZ,#)=“acc”的唯一状态. LR分析实例 设已给文法G[L]: 1. L?E,L 2. L?E 3. E?a 4. E?b 文法相应的分析表为 分析表的合并 从分析表的功能及实例中,我们可看出,GOTO表中所有关于终结符的状态转换都与相应的ACTION表相关，因此我们可将其合并到ACTION表中，只将关于VN符的状态转换保留在GOTO表中： 符号串“a,b,a”的LR分析过程 LR分析器的总控程序 parser( ){ 初始化； while((item=ACTION[TopStat][InpSym]))!=Acc){ if(item==ERROR) error( ); if(item==sj){push(j);advance( );} else reduce(i);/* item== ri*/ } accept( ); } 二、LR（0）分析表的构造 LR(0)分析就是k=0时的LR(k)分析.即在分析的每一步,根据当前的栈顶状态确定下一步动作. 为了给出构造LR(0)分析表的算法,我们首先引入一些重要的概念和术语 规范句型的活前缀(viable prefix) 从前面例子的分析过程可知,将栈内符号与未扫描的输入串拼接起来,可得一规范句型.即栈内符号串总是规范句型的前缀,且不含句柄右侧的符号. 原因:句柄一旦在栈顶形成,就不再移进新符号,而是要进行归约了.