章 语法分析——自下而上分析.pptVIP

5.3 LR分析法 LR分析法：1965年 由Knuth提出 L表示从左到右扫描输入串 R表示构造一个最右推导的逆过程 (规范归约) 5.3.1 LR分析器 LR分析器：一种规范规约的方法； 规范归约的关键问题是寻找句柄. “历史”：已移入符号栈的内容 “展望”：根据产生式推测未来可能遇到的输入符号 “现实”：当前的输入符号 小结 LR分析器的工作原理 LR分析器的性质 栈内的符号串和剩下的输入符号串构成了一个规范句型； 一旦栈顶部出现可归约串（句柄），则进行归约； LR分析法的优点： 大多数上下文无关文法描述的程序语言都可用LR分析法 LR分析的文法类，包含LL(1)分析的全部文法类 识别效率高(即分析速度快) LR分析法在自左至右扫描输入串时 就能发现其中的任何错误 并能准确地指出出错地点 4种LR分析表构造法： LR(0)表构造法 这种方法局限性大，但它是建立其它LR分析法的基础 简单LR（简称SLR）表构造法 虽然有些文法构造不出 SLR分析表，但这是一种比较容易实现又极有使用价值的方法 规范LR表构造法 规范LR分析表能力最强，能够适用一大类文但实现代价过高，或者说，分析表的体积非常大 向前LR表构造法（简称LALR） LALR分析表的能力介于SLR和规范LR之间，稍加努力，就可以高效地实现 有效项目 项目和活前缀是多对多的关系： 多个项目对同一个活前缀是有效的 因此多个项目之间可能互相冲突 对LR文法，向前多看几个符号或许能解决冲突 对非LR文法，多看几个输入符号也无济于事 同一个项目对多个活前缀是有效的 即：同样项目存在不同的项目集中 小结 LR(0)分析 LR(0)项目集规范族构造 Closure 和 GO 函数 产生识别活前缀的DFA； LR(0)分析表的构造 举例3：文法G(S’) （使用Follow集有冲突，用SLR不能分析。） LR(1)的项目集C和函数GO： 举例3：文法G(S’) LR(1)的分析表： 举例2：文法G(S’) i=*i的分析过程： 举例4：文法G(S’) (0)S’→S (1)S→L=R (2)S→R (3)L→*R (4)L→i (5)R→L 写出此文法的LALR分析表 根据文法的LALR分析表分析输入串“ i=*i=# ” 举例4：文法G(S’) LR(1)的项目集C和函数GO： 举例4：文法G(S’) 合并同心集： 举例4：文法G(S’) LR(1)分析表变为LALR(1)分析表： 举例4：文法G(S’) i=*i=的LALR分析过程 ： 举例4：文法G(S’) i=*i=的LR(1)分析过程 ： 举例4：文法G(S’) i=*i的LALR分析过程 ： 举例4：文法G(S’) i=*i的LR(1)分析过程 ： 举例1：二义性文法G(E)： E→E+E|E*E|(E)|i 其二义性源于文法没有规定运算符的优先级和结合性 可通过两种途径解决文法的二义性问题： 将文法修改成非二义性文法 规定*优先+，运算服从左结合，修改文法为： G1(E)： E→E+T|T T→T*F|F F→(E)|i G1是与G等价的非二义性文法 根据条件消除分析表的多重定义 可构造分析表，再根据条件消除分析表的多重定义 二义文法的优点： 分析表规模小； 容易修改算符的优先级和结合性； 简洁：如果有多个优先级，那么无二义性文法将引入太多的非终结符号 高效：不需要处理E?T这样的归约。 举例1： 二义文法G(E) (1)E→E+E (2)E→E*E (3)E→(E) (4)E→i I1、I7、I8有 移进-规约冲突 其中I1能由SLR解决。 follow(E‘)={#} 举例1：二义文法G(E) (1)E→E+E (2)E→E*E (3)E→(E) (4)E→i I7其中的E→E+E?是归约项目，而E→E?+E和E→E?*E是移进项目。 因为follow(E)={+，*，)，#}，且有 follow(E)∩{+，*}={+，*}≠Φ， 所以项目I7中的移进-归约冲突不是用SLR(1)分析法所能解决的 状态I8在面临+或*时，存在类似的移进-归约冲突 这些冲突在分析表中就表现为多重定义 举例1：二义文法G(E) (1)E→E+E (2)E→E*E (3)E→(E) (4)E→i follow(E)={+，*，)，#} 二义文法的SLR分析表的多重定义 举例1：二义文法G(E) (1)E→E+E (2)E→E*E (3)E→(E) (4)E→i 输入串i+i*i#分析过程如下 分析器处理了i+i后，进入到状态I7，ACTION[7, *]=s5r1 假定*优