第章LR分析法lly.pptVIP

第七章 LR分析法 考查重点： LR(0)、SLR(1)、LR(1)，LALR(1)项目集规范族的构造，识别活前缀的DFA的构造，分析表的构造，及输入串的分析。 LR(0)、SLR(1)、LR(1)、LALR(1)文法及其关系和区别 在步骤3中，用A→b归约 在步骤5中，用A→Ab归约 问题：何时移进？何时归约？用哪个产生式归约（如何找当前句柄归约）？ LR 分析器工作示意图 问题： 对于一个文法，状态集是如何确定的？ LR分析表是如何得到的？ 可归前缀与活前缀 活前缀 定义： S’ ?A? ???是文法G中的一个规范推导，如果符号串γ是??的前缀，则称γ是G的一个活前缀。（在当前句型中，不包含句柄右边的前缀） 如何构造识别可归前缀的有限自动机 已经有了可归前缀如何构造有限自动机? 活前缀及其可归前缀的一般计算方法 活前缀及其可归前缀的一般计算方法 定义：文法G，A?VN, LC(A)={? | S’ ?A?, ??V*, ??VT *} 规范推导中在非终结符A左边所有可能出现的符号串的集合(不包括句柄的活前缀? ) 推论：若文法G中有产生式B→?A?，则有LC(A) ? LC(B)·{?} 构造识别活前缀的NFA： 1、把文法的所有产生式的项目都引出，每个项目都为NFA的一个状态 2、确定初态、句柄识别态、句子识别态 3、确定状态之间的转换关