[工学]第7章 LR分析法.ppt

第七章 LR分析法 LR分析概述 LR(0)分析 SLR(1)分析 LR(1)分析 LALR(1)分析 二义性文法在LR分析中的应用 复习：移进-归约分析 在步骤3中，用A→b归约 在步骤5中，用A→Ab归约 问题：何时移进？何时归约？用哪个产生式归约？ 问题： 对于一个文法，状态集是如何确定的？ LR分析表是如何得到的？ 可归前缀与活前缀 活前缀（Viable Prefixes） viable:adj capable of growing and developing~ seed capable of being put into practice : workable 定义： S’ ?A? ???是文法G中的一个规范推导，如果符号串γ是αβ的前缀，则称γ是G的一个活前缀。 LR分析需要构造识别活前缀的有穷自动机 我们可以把文法的终结符和非终结符都看成有穷自动机的输入符号，每次把一个符号进栈看成已识别过了该符号，同时状态进行转换，当识别到可归前缀时，相当于在栈中形成句柄，认为达到了识别句柄的终态。 如何构造识别活前缀的有限自动机 已经有了活前缀如何构造有限自动机? 活前缀及其可归前缀的一般计算方法 活前缀及其可归前缀的一般计算方法 定义：文法G，A?VN, LC(A)={? | S’ ?A?, ??V*, ??VT *} 规范推导中在非终结符A左边所有可能出现的符号串的集合 推论：若文法G中有产生式B→?A?，则有LC(A) ? LC(B)·{?} NFA for Viable Prefixes in Detail (1) NFA for Viable Prefixes in Detail (2) NFA for Viable Prefixes in Detail (3) NFA for Viable Prefixes in Detail (4) NFA for Viable Prefixes in Detail (5) NFA for Viable Prefixes in Detail (6) NFA for Viable Prefixes in Detail (7) NFA for Viable Prefixes in Detail (8) NFA for Viable Prefixes in Detail (9) NFA for Viable Prefixes in Detail (10) NFA for Viable Prefixes in Detail (11) NFA for Viable Prefixes in Detail (12) NFA for Viable Prefixes in Detail (13) Translation to the DFA 总结：构造识别文法活前缀DFA的三种方法 一、根据形式定义求出活前缀的正规表达式，然后由此正规表达式构造NFA再确定化为DFA 二、求出文法的所有项目，按一定规则构造识别活前缀的NFA再确定化为DFA 三、使用闭包函数（CLOSURE）和转向函数(GOTO(I,X))构造文法G’的LR(0)的项目集规范族，再由转换函数建立状态之间的连接关系得到识别活前缀的DFA LR(0)分析表的构造 LR(0)分析表相当于识别活前缀的有限自动机DFA的状态转换矩阵 LR(0)分析表的构造算法 LR(0)分析器的工作过程 SLR(1)分析 大多数适用的程序设计语言的文法不能满足LR(0)文法的条件，即其规范族中会有含有冲突的项目集（状态） 如果解决这种冲突？ 直觉：对于有冲突的状态，向前查看一个符号，以确定采用的动作 仍有许多文法构造的LR(0)项目集规范族存在的动作冲突不能用SLR(1)方法解决 LR(1)分析 若项目集[A→??B?]属于I时，则[B→??]也属于I 把FIRST(?)作为用产生式归约的搜索符（称为向前搜索符），作为用产生式B→?归约时查看的符号集合（用以代替SLR(1)分析中的FOLLOW集），并把此搜索符号的集合也放在相应项目的后面，这种处理方法即为LR(1)方法 LR(1)分析表的构造 1) 若项目[A→? ? a?,b]属于Ik，且转换函数GO(Ik,a)= Ij ，当a为终结符时，则置ACTION[k,a]为Sj 2) 若项目[A→? ? ,a]属于Ik ，则对a为终结符或‘#’，置ACTION[k,a] = rj ，j为产生式在文法G‘中的编号 3) 若GO(Ik,A)= Ij ，则置GOTO[k,A]=j，其中A为非终结符，j为某一状态号 4) 若项目[S‘→S ? ,#]属于Ik ，则置ACTION[k,#] = acc 5) 其它填上“报错标志” LR(1)项目集的构造对某些同心集的分裂可能使状态数