编译原理课程设计之第四章-自上而下的语法分析.pptVIP

课程内容 第一章 概论 第二章 词法分析 第三章上下文无关文法及分析 第四章自上而下的语法分析 第五章自下而上的语法分析 第六章语义分析 第七章运行时环境 第八章代码生成;;语法分析以词法分析程序输出的单词序列为输入，分析源程序的语法结构，判断它是否为相应程序设计语言的合法程序。 通常我们将语法分析的结果表示为分析树（parse tree）或语法树(syntax tree)。;4.1 分析树与抽象语法树 4.2 自上而下的语法分析算法概述 4.3 递归下降分析 4.3 LL(1)分析;4.1 分析树与抽象语法树;(4)每个非叶结点都用非终结点标出； (5)每一步直接推导对应一个子树：如果分析树中标记为A∈VN的节点有n个标记为X1，X2,…Xn的孩子(可以是终结符也可以是非终结符),则文法G中有对应的产生式 A→X1X2…Xn∈P；;exp?exp op exp ?number op exp ?number + exp ?number + number;exp;exp?exp op exp exp op number exp + number number + number;exp;分析树对于显示程序的各语法单位或程序的单词序列很有帮助，但是相比纯粹为编译生成可执行代码所需的信息而言，分析树却包括了更多的信息。 所以语法分析程序更趋向于生成抽象语法树，抽象语法树是分析树中所含信息的浓缩，这种树是源代码单词序列的抽象表示。它却包含了进一步分析所需的所有信息。而且比分析树效率更高。 注：各语法单位对应的抽象语法树的结构可以规定，没有标准，但可以参考现有编译器的做法。;简单整型算术表达式文法： exp → exp op exp|(exp)|number op → +|-|*;+;Typedef enum {Plus,Minus,Times} OpKind; Typedef enum {OpKind,ConstKind} ExpKind; Typedef struct streenode { ExpKind kind; OpKind op; struct streenode *lchild,*rchild; int val; }StreeNode Typedef StreeNode *SyntaxTree;;4.1 分析树与抽象语法树 4.2 自上而下的语法分析算法概述 4.3 递归下降分析 4.3 LL(1)分析;自上而下的语法分析算法： 从文法的开始符号出发，反复使用文法的产生式规则，试图寻找与输入符号串匹配的推导。 从语法树的构造过程来看，是从文法的开始符号出发，将它做为语法树的根，试图向下逐步建立语法树，语法树的叶子节点是输入符号串；;自上而下的语法分析算法：已知文法G[S],对任意输入串w,若从文法的开始符号S出发, 能为w构造一个最左推导，则w是一个合法的句子，即w? L(G),否则w有语法错误。 从S出发，尝试了所有可能的最左推导序列都不能推出w，则说明w有语法错误； 该算法试图自上而下为w的分析结果建立一棵语法树。;例4-1：文法G： S → aA S → cAd A → a A → ab识别输入串w=cabd是否为该文法所定义的句子？;cAd ? cabd;自上而下的语法分析方法： 从文法开始符号S出发试图为输入符号串构造一个最左推导； 构造最左推导的过程就是选择产生式和匹配符号串的过程； 有时需要重复扫描词法分析输出的单词序列。;4.1 递归下降语法分析;递归下降分析法是一种自上而下的语法分析方法，在这种方法中，执行一组递归函数来处理输入串。 对文法的每一个非终结符A，都根据其相应的产生式(即文法规则)为其编写一个函数(子程序)，用来识别该非终结符所表示的语法范畴。;例4-2：文法G：S → cAd A → ab;void match(expectedToken); { if token=expectedToken token = getToken(); else error; };void S(void) { match(c); A(); match(d); };例4-3：文法G：S → cAd A → a A → ab;识别S的递归下降函数的伪代码：;;4.1 递归下降语法分析;选择的情况 重复的情况;选择的情况 EBNF使用[ ]表示选择： 文法G： S → cAd A → a A → ab;识别S的递归下降函数的伪代码：