12-Ch04-Syntax Analysis 1.pptVIP

Ch04 Syntax Analysis 8 － 10 Class Hours Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 复习：语法分析的任务、方法 检查由扫描器输出的单词符号序列 是否符合该语言的文法。 （即是否是符合语法的句子） 语法分析器的输入： 单词符号串（Token 序列） 分析器的输出： 分析树； 出错处理 : 定位、续编译。 分析方法 自顶向下（递归下降、预测分析) 自底向上（优先方法、LR分析器） 扫描器 分析器 语义处理 单词符号 分析树 源程序 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 复习：语法分析的讨论前提 高级语言中描述语法的是二型文法（上下文无关文法/CFG）。 输入的是单词序列，不对单词构造情况感兴趣。故本章及后续章节在探讨语法分析方法时，描述语法的二型文法（CFG）中的终结符应视为在词法分析中得到的一个个单词（token）。 即词法分析中的句子是语法分析的 Vt Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 语法分析要解决的基本问题 所有类型的语法分析所面临的工作都是：对于一个待分析的句子 w ，是否是已知文法的句子。 自上而下分析方法：对于一个待分析的句子 w ，考察是否可以由文法的开始符号S经过一步步推导得到。在推导过程中，对于特定的非终结符号，应该使用文法哪个产生式来进行替换（使用产生式的右部代替推导中句型的非终结符）。 自上而下分析方法并不能对所有的二型文法加以分析。一般来说某种分析方法只能分析某种二型文法的一个子集。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自上而下语法分析学习内容 1、消除文法的左递归； 2、LL（1）文法的判别； 3、LL（1）文法的自动分析方法； —— LL（1）预测分析法； —— 递归下降分析法； 4、带回溯的自上而下分析法。 重点 难点 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 重要概念回顾 推导: αＡβ  αγβ (依据：Ａ→γ) 最左(Left-most)推导——最左分析 左句型 最左推导对应最右归约 最右(Right-most)推导——最右分析 规范推导、规范句型（右句型） 最右推导对应最左归约（规范归约） 二义性 (先天二义性语言、二义性文法) 本章采用 后续章节采用 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 自上向下分析技术 自上向下分析技术分为： 确定的自上向下分析技术和带回溯的自上向下分析技术 确定的自上向下分析技术先决条件： 1、无左递归 既没有直接左递归，也没有间接左递归。 2、无回溯性 对于任一非终结符号U的产生式右部x1|x2|…|xn，其对应的各个字符串所推导出的首终结符号两两不相交。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 文法的左递归性 文法的左递归性是指文法中： --- 某个产生式具有以下形式： U →Ux|y 称为文法存在直接左递归。 --- 某个非终结符可以经过有