第4章 语法分析.pptxVIP

第4章 语法分析 本章讨论程序语言的语法分析方法，以及语法分析程序的设计原理和实现技术。第4章 语法分析语法分析程序的功能和语法分析方法 自顶向下语法分析法 自底向上算符优先分析法 LR分析法 语法分析器语法成分构成的语法树词法分析后的单词串 4.1 语法分析程序的功能语法分析程序的功能 或错误表4.1 语法分析程序的功能自顶向下语法分析法(自上而下语法分析法)语法分析的方法自底向上语法分析法(自下而上语法分析法)4.1 语法分析程序的功能1. 自上而下的分析法 从文法的开始符号出发，根据文法规则正向推导出给定句子的一种方法；或者说，从树根开始，往下构造语法树，直到建立每个叶的分析方法。 4.1 语法分析程序的功能2. 自下而上的分析法 从给定的输入串开始，根据文法规则逐步进行归约，直至归约到文法开始符号的一种方法；或者说，从语法树的未端开始，步步向上归约，直至根结点的分析方法。 4.2 自上而下语法分析法 非确定的自上而下分析法的基本思想是： 对任何输入串W试图用一切可能的办法，从文法的开始符号出发，自上而下地为它建立一棵语法树。或者说，为输入串寻找一个最左推导。如果试探成功，则W为相应文法的一个句子，否则W就不是文法句子。4.2.1 非确定的自上而下分析法的思想 也就是说，这种分析过程本质上是一种穷举试探过程，是反复使用不同规则，谋求匹配输入串的过程。试探发生回溯。 S a A bd e4.2.1 非确定的自上而下分析法的思想例 设有文法G[S]：S→ aAbA→ de | d输入串 W=adb匹配失败、这时应回溯,选择A的其它可能的规则重新匹配。Sd a A b4.2.1 非确定的自上而下分析法的思想S→ aAbA→ de | d输入串 W=adb匹配成功 4.2.1 非确定的自上而下分析法的思想 上述自上而下为输入串W建立语法树的过程，实际也是设法为输入串建立一个最左推导序列：S?aAb?adb。 由于对输入串从左向右进行扫描，使用最左推导，才能保证按从左到右扫描顺序匹配输入串。4.2.1 非确定的自上而下分析法的思想 根据以上分析，不难看出，非确定的自上而下分析法即是带回溯的自上而下分析法, 实际上是一种穷举的试探方法，其分析效率极低，代价很高，在实用的编译程序中是不常用的。我们通常使用确定的自上而下分析法进行语法分析。 4.2.1 非确定的自上而下分析法的思想 但确定的自上而下分析法对语言的文法有一定的限制条件，那就是要求描述语言的文法是无左递归的和无回溯的。 +A ? Aα4.2.2 文法的左递归性和回溯的消除 文法左递归的消除 当一个文法是左递归文法时，采用自上而下分析法会使分析过程进入无穷循环之中。 文法左递归是指文法中的某个非终结符A存在推导4.2.2 文法的左递归性和回溯的消除 用非终结符A去匹配输入串时,使当前句型的最左非终结符仍然为A。 也就是说，在没有读进任何输入符号的情况下，又重新要求A去进行新的匹配。于是，造成无穷循环。 4.2.2 文法的左递归性和回溯的消除 对含直接左递归的规则进行等价变换，消除左递归 引进一个新的非终结符，把含左递归 的规则改写成右递归。 设关于非终结符A的直接左递归的规则为4.2.2 文法的左递归性和回溯的消除A→ Aα | β其中α 、β是任意的符号串, α不等于 ε , β不以A开头对A的规则可改写成如下右递归形式： A → βAA→ αA | ε4.2.2 文法的左递归性和回溯的消除 改写以后的形式和原来形式是等价的。也就是说，从A推出的符号串的集合是相同的。 4.2.2 文法的左递归性和回溯的消除一般情况下，设文法中关于A的规则为A → Aα1| Aα2| …| Aαm| β1| β2| …| βn 其中每个α都不等于ε，而每个?都不以A开头，消除直接左递归后改写为:A → β1A | β2A |…| βnAA → α1A | α2A |…| αmA | εE→ E+T | E–T | TT→ T*F | T/F | FF→ (E) | id例1 设有文法G[E]：消去非终结符E, T的直接左递归后，文法G[E]改写为：E→TEE → +TE | –TE | εT→ FTT → *FT | /FT | εF→ (E) | id4.2.2 文法的左递归性和回溯的消除例2 设有文法G[A]: A→ Ac | Aad | bd | e消去直接左接左递归后文法G[A]改写为 A → bdA | eAA → cA | adA | ε4.2.2 文法的左递归性和回溯的消除4.2.2 文法的左递归性和回溯的消除(2) 采用扩充BNF表示法改写含直接左 递归的规则： 在扩充的BN