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

语法分析部分知识关系图 开发语法分析程序 语法定义 基于 上下文无关文法 使用 实现 自顶向下 自底向上 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第五章 自底向上的语法分析 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) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5.1 自底向上语法分析概述 自顶向下语法分析回顾 自底向上语法分析的例子 自底向上语法分析的主要思想 自底向上语法分析的关键问题 一些相关概念 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自顶向下分析例 P: (1) Z  aBeA (2) A  Bc (3) B  d (4) B  bB (5) B   a b e c 自顶向下分析过程是从文法开始符出发，为所给输入串构造最左推导的过程。 句型 输入 动作 Z abec 推导(1) abec aBeA 匹配(a) bec BeA 推导(4) bec bBeA 匹配(b) ec BeA 推导(5) ec eA 匹配(e) c A 推导(2) c Bc 推导(5) 匹配(c) c c 成功 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自底向上语法分析的例子 P: Z  ABb (2) A  a (3) A  b (4) B  b (5) B  c (6) B  bB a b c b 输入 符号栈 动作 abcb 移入 a bcb 归约(2) A bcb 移入 Ab cb 移入 Abc b 归约(5) AbB b 归约(6) AB b 移入 归约(1) ABb Z 成功 自底向上分析过程是从所给输入串出发，对其进行最左归约的过程。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自底向上归约的过程也是自底向上构建语法树的过程 a b c b B B Z 归约过程 Z rm ABb  rm AbBb  rm Abcb rm abcb A abcb --- Abcb --- AbBb --- ABb --- Z 自底向上分析中归约过 程的逆过程就是该句子 的最右推导; Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5.1 自底向上语法分析方法概述 主要思想: 从输入串出发; 尽可能地找到可归约子串并将其归约成一个非终极符; 直到归约成文法的开始符或发现语法错误; 分析动作:移入(shift),归约(reduce) 包含以下方法: LR 类的方法; 简单优先法; 算符优先法 关键问题: 什么时候进行归约，按照哪条产生式进行归约; Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一些相关概念 短语 一个句型形如, 如果存在一个句型A,而且 A+, 则称为句型的短语; 例如句型AbBb，则bB,AbBb是它的短语，