山东理工大学计算机科学与技术学院编译原理课件第七章 lr分析.pptVIP

* * LR(1)分析表的构造算法 状态集的计算方法和LR(0)基本相同 分析表的构造方法和LR(0)基本相同 与LR(0)的不同点主要在归约动作的选择 LR(0) 分析考虑所有终结符 SLR(1) 分析参考 FOLLOW 集 LR(1) 分析仅考虑 LR(1)项目中的搜索符 * * LR(1)文法 p147 规范的LR(1)分析表 分析表中不存在多重定义的入口 LR(1)文法 具有规范的LR(1)分析表的文法 LR(1)分析存在问题 状态数目多,占用存储空间大 小节目录 * * 7.5 LALR(1)分析 p147 为何要引入LALR(1)分析 LALR(1)分析表的构造 LALR(1)文法 章节目录 * * 为何要引入LALR(1)分析? 简化 LR(1) 分析 减少资源开销——减少状态数目 LALR(1)分析 (lookahead-LR) 在不带来移进归约冲突的条件下，合并状态，重构分析表 可行性 同心项目集——LR(1)项目有相同的 LR(0) 项 目，不同的搜索符 合并同心项目集 小节目录 * * LALR(1)项目集规范族构造举例 p147 S’→.S,# S→.BB,# B→.aB,a/b B→.b,a/b I0 S S’→S.,# I1 B S→B.B,# B→.aB,# B→.b,# I2 a B→a.B,#/a/b B→.aB,#/a/b B→.b, #/a/b I36 b B→b.,#/a/b I47 B S→BB.,# I5 a b B B→aB.,#/a/b I89 a b LALR(1)分析表 p149 表7.12 小节目录 * * LALR(1)文法 p149 LALR(1)分析表 若合并后的集族不存在归约归约冲突, 则可构造出LALR(1)分析表 LALR(1)文法 存在LALR(1)分析表的文法 局限性 合并中不出现归约归约冲突 小节目录 * * LR分析的基本步骤 编写拓广文法，求Follow集 求状态集合 构造LR分析表 编制移进-归约分析器 * * 四种LR文法之间的关系 如何确定? LR(0) SLR(1) LALR(1) LR(1) LL(1) 均为无二义性文法 章节目录 * * 自下而上分析小结 基本框架 移进归约分析 核心：在句型中确认句柄 分析器具有基本相同的逻辑结构 控制算法 基于算符优先关系表 基于 LR 分析表（动作和状态转移） 章节目录 * * 本章练习 1.可归前缀是指 。 A 规范句型的前缀 B 活前缀 C 含有句柄的活前缀 D 句柄 2. 若a为终结符,则A→ α.aβ为 项目。 A 移进 B 待约 C 归约 D 接受 4.算符优先分析法每次都是对 进行归约。 A 短语 B 最左素短语 C 素短语 D 句柄 3. LR分析器核心部分是一张分析表,该表由 组成。 A ACTION表 B GOTO 表 C LL(1)分析表 D ACTION表和GOTO 表 * * 本章练习(续) 5 自下而上语法分析的基本思想是：从待输入的符号串出发，利用文法的产生式步步向上 ，试图 到文法的 。 6 最右推导也被称为 ，其所得到的句型称为 。 7 规范归约每次归约的是当前句型的 ，算符优先文法每次归约的是当前句型的 。 8 LR（0）分析法的名字中，“L”的含义是 ，“R”的含义是 ，“0”的含义是 。 9 所谓素短语是指这样的一个短语，它至少含有一个 并且，除它自身之外不再含有任何更小的 。 直接归约 归约 开始符号 规范推导 规范句型 句柄 最左素短语 短语 素短语 自左向右进行分析 采用最右推导的逆过程 向貌似句柄的符号串后查看0个输入符号 * * 本章练习(续) 10 对于文法G(S): S→S*aT | aT | * aT T →+aT | +a (1)写出句型 a+a*a+a*T的最左推导并画出语法树。 (2)写出上述句型