编译与原理总结4_语法1.pptVIP

1 S.P O.P 语法分析 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2 任务：根据文法规则，从源程序单词符号串中识别出 语法成分，并进行语法检查。 两大类分析方法： 自顶向下分析 自底向上分析 4.1 语法分析的任务 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3 存在主要问题: 回溯问题,左递归问题 主要方法：递归下降分析法、 LL分析法 自顶向下分析算法的基本思想为： 自底向上分析算法的基本思想为： 存在主要问题:“可归约串”的识别问题 主要方法：算符优先分析法、 LR分析法 4.1 语法分析的任务 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4 自顶向下分析的一般过程 从S出发采用最左推导，试图逐步推出输入串α,αL(G[S])? S作为语法树的根，试图自上而下地为α构造一棵语法树： 若叶结点从左向右排列恰好α，则表示α是文法的句子， 而这棵语法树就是句子α的语法结构； 若构造不出语法树，则α不是文法的句子。 4.2 自顶向下分析法概述 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5 自上而下分析中的关键问题： 左递归：当文法中出现左递归时，会使分析过程陷入无限循环。 回溯：假定要被代换的非终结符号是V，且有 n 条规则：V→A1|A2|…|An，那么如何确定 用哪个右部Ai去替代V呢？会造成回溯。 4.2 自顶向下分析法概述 回溯问题 左递归问题 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6 1.回溯问题 什么是回溯（backtracking）? 分析工作要部分地或全部地退回去重做叫回溯 造成回溯的条件： 文法中，对于某个非终结符号的规则其右部有多个选择， 并根据所面临的输入符号不能准确的确定所要选择时，就可 能出现回溯。 回溯带来的问题： 严重的低效率，只有在理论上的意义而无实际意义。 4.2 自顶向下分析法概述 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7 消除回溯的途径： 改写文法 对具有多个右部的规则反复提取左因子 例：对下述两个产生式，提取公共左因子改造文法。 if语句→if E then S1 else S2 if语句→if E then S1 改造为：if语句→if E then S1U U→else S2 |ε 4.2 自顶向下分析法概述 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 8 A→αβ1|αβ2|…|αβn 如果β1~βn中还有几个首符号相同，可反复提取引入了许多非终结符和ε产生式。 A → αA′ A′→ β1|β2|…|βn 提取公共左因子 4.2 自顶向下分析法概述 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 9 某些文法不能在有限步骤内提取左公共因子。 【例】文法G: SAp|Bq AaAp