wsx(编译原理第07章) lr分析法.ppt

第七章 LR分析法 LR分析概述 LR(0)分析 SLR(1)分析 LR(1)分析 LALR(1)分析 二义性文法在LR分析中的应用 前一部分我们已讨论过，自底向上分析方法是一种移进-归约过程。 先复习一下：移进-归约分析 上一章的优先分析方法是当分析的栈顶符号串形成句柄时就采取归约动作，因而自底向上分析法的关键问题是在分析过程中如何确定句柄。 算符优先分析法存在的问题 强调算符之间的优先关系的唯一性，这使得它的适应面比较窄 算法在发现最左素短语的尾时，需要回头寻找对应的头 在步骤3中，用A→b归约 在步骤5中，用A→Ab归约 问题：何时移进？何时归约？用哪个产生式归约？ 第六章的优先分析法已经提供了一种手段给我们。 第七章LR分析法也在这个问题上进行研究。 问题： 对于一个文法，状态集是如何确定的？ LR分析表是如何得到的？ 可归前缀与活前缀 形式定义活前缀（Viable Prefixes） 定义： 若S’ ?A? ???是文法G中的一个规范推导。如果符号串?是??的前缀，则称? 是G的一个活前缀。也就是说? 是规范句型???的前缀，但它的右端不超过该句型句柄的末端。 这里S‘为对原文法G加了产生式S’-S,S为原文法G的开始符号，S’为拓广后文法G‘的开始符号。 由以上分析我们很容易理解，在LR分析过程中，实际上是把??的前缀列出放在符号栈中，一旦在栈中出现??，即句柄已经形成，则用产生式A- ?进行归约。 LR分析需要构造识别活前缀的有穷自动机 我们可以把文法的终结符和非终结符都看成有穷自动机的输入符号，每次把一个符号进栈看成已识别过了该符号，同时状态进行转换，当识别到可归前缀时，相当于在栈中形成句柄，认为达到了识别句柄的终态。 如何构造识别活前缀的有限自动机 已经有了活前缀如何构造有限自动机? 活前缀及其可归前缀的一般计算方法 活前缀及其可归前缀的一般计算方法 前例中我们仅由对某些句子规范推导的逆过程直观地看出它的活前缀和可归前缀，然后构造其有限自动机，在前例中用一个句子归约过程的所有活前缀和可归前缀构造出的有限自动机，刚好也是识别整个文法的活前缀及可归前缀的有限自动机，这仅是一个特殊情况。 然而对一个任给的上下文无关文法需求出它的所有活前缀和可归前缀后才能构造其识别该文法活前缀的有限自动机。 下面将给出其形式的算法： 定义：文法G，A?VN, LC(A)={? | S’ ?A?, ??V*, ??VT *} 这里?表明了在规范推导中在非终结符A左边所出现的符号串的集合。有了集合?就可以找出不包括包柄在内的所有活前缀。 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)分析表相当于识别活前缀的有限自动机DAF的状态转换矩阵 LR(0)分析表是LR(0)分析器的重要组成部分，它是总控程序分析动作的依据。对于不同的文法，LR(0)分析表不同，它可以用一个二维数数据表示，行标为状态号，列标为文法符号和‘#’号，分析表的内容可由两部分组成，一部分为动作表(ACT