《编译原理自底向上的语法分析.pptVIP

语法分析部分知识关系图 第五章 自底向上的语法分析 5.1 自底向上的语法分析方法概述 5.2 LR(0)分析的有限自动机 5.3 LR(0) 分析 5.4 SLR(1) 分析 5.5 LR(1) 分析 5.6 LALR(1) 分析 5.7 LALR(1) 语法分析器的自动生成器 (YACC) 5.1 自底向上语法分析概述 自顶向下语法分析回顾 自底向上语法分析的例子 自底向上语法分析的主要思想 自底向上语法分析的关键问题 一些相关概念 自顶向下分析例 自底向上语法分析的例子 自底向上归约的过程也是自底向上构建语法树的过程 5.1 自底向上语法分析方法概述 主要思想: 从输入串出发; 尽可能地找到可归约子串并将其归约成一个非终极符; 直到归约成文法的开始符或发现语法错误; 分析动作:移入(shift),归约(reduce) 包含以下方法: LR 类的方法; 简单优先法; 算符优先法 关键问题: 什么时候进行归约，按照哪条产生式进行归约; 一些相关概念 短语 一个句型形如???, 如果存在一个句型?A?,而且 A?+?, 则称?为句型???的短语; 例如句型AbBb，则bB,AbBb是它的短语，因为 存在句型ABb，ABb ? AbBb，? = A，? = b； 存在句型Z，Z ? ABb ? AbBb ， ? = ?， ? = ?； 简单短语 一个句型形如???, 如果存在一个句型?A?,而且 A ? ?, 则称?为句型???的简单短语; 例如句型AbBb，bB是它的简单短语，AbBb不是它的简单短语 一些相关概念 句柄:一个句型的简单短语可能有多个，称最左简单短语为句柄(handler); 例如：句型abBb，简单短语有两个：a,bB Z ? ABb ? aBb ? abBb 最左简单短语a是句柄 句柄的唯一性: 如果一个CFG无二义性,则它的任意一个句型都有唯一的句柄; 短语、简单短语、句柄的例子 由语法分析树识别短语、简单短语和句柄 一些相关概念 自顶向下的语法分析方法中曾介绍过： 推导：对句型中的非终极符用产生式右部替换 规范推导：一个句型的最右推导称为该句型的规范推导; 规范句型(右句型)：从开始符通过规范推导得到的句型; 一些相关概念 Z ? ABb 规范前缀为 AB, ABd Z ?+ Acb 规范前缀为 A, Ac, Acb 一些相关概念 Z ? ABb 规范前缀为 AB, ABb 规范活前缀: AB(不包含简单短语) , ABb(包含一个简单短语且在最后) 自底向上语法分析的例子 一些相关概念 规范活前缀决定分析动作 移入:规范活前缀不包含简单短语; 移入型规范活前缀 归约:规范活前缀只包含一个简单短语,而且是在该规范活前缀的最后; 可归约规范活前缀 ：归约规范活前缀 自底向上分析知识关系图 5.1 自底向上语法分析方法概述 LR 方法 主要思想 L表示从左至右读入输入串; R表示构造一个最右推导的逆过程，即每次找到句柄? (归约规范活前缀??)来进行归约; 归约直到得到开始符或报告语法错误; 关键问题: 对于一个CFG, 如何判定归约规范活前缀? 构造一个判定归约规范活前缀的自动机 -- LR自动机 由LR自动机构造LR分析表指导LR分析 LR 分析机制 5.1 自底向上语法分析方法概述 LR 方法 不同的 LR 方法 LR(0) SLR(1) LR(1) LALR(1) 不同的LR方法对CFG的要求不一样, 能够分析的CFG多少也不一样, LR(0) ? SLR(1) ? LALR(1) ? LR(1) * * 开发语法分析程序 语法定义 基于 上下文无关文法 使用 实现 自顶向下 自底向上 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011