编译原理——第4章 自顶向下语法分析.pptVIP

第四章 自顶向下语法分析 语法分析的作用 是编译程序的核心部分。其作用是识别由词法分析给出的 单词符号序列是否是给定文法的正确句子(程序)。 语法分析方法概述 按照构建语法树的方式可分为自顶向下和自底向上分析。 1 确定的自顶向下分析思想 综述：关键是从文法的开始符号出发，如何根据当前的输入符号(单词)唯一地确定选用哪个产生式向下推导，或构造一棵相应的语法树。 注：该推导一定是最左推导。 例1 例2 自顶向下分析 ? 自顶向下生成语法树 考虑右边的文法: 例3 例4 LL(1)文法的判别 求出能推出?的非终结符 计算产生式右部的FIRST集 计算非终结符的FOLLOW集 计算产生式的SELECT集(只针对同一个非终结符对应多条产生式的情况)。 对第4步的结果两两求交集以判断是否是LL(1)文法。 例5 3 某些非LL(1)文法到LL(1)文法的等价变换 提取左公共因子 若文法中含有形如A ? αβ|αγ的产生式等价变换为： A ? αA’ A ? β|γ 推广到一般形式为： A ? αβ1|αβ2|···| αβn提取左公共因子后变为： A ? αA’ A ? β1|β2|···|βn 若产生式中仍含有左公共因子，可再次提取。 请注意以下两点： 不一定每个文法的左公共因子都能在有限的步骤内替换成无左公共因子的文法。 一个文法提取了左公共因子后，只解决了相同左部产生式右部的FIRST集不相交问题，当改写后的文法不含空产生式，且无左递归时，则改写后的文法是LL(1)文法，否则还需用LL(1)文法的判别式进行判断才能确定是否为LL(1)文法。 含有左递归的文法一定不是LL(1)文法 消除左递归 一个文法含有下列形式的产生式时称该文法含有左递归： A ? Aβ A ? VN β?V * 直接左递归 A ? Bβ B ? Aα A , B ? VN α,β?V * 间接左递归 形如A ? A··· 称文法中含有间接左递归 消除直接左递归： 方法：将直接左递归改写为右递归。 S ? Sa | b 改写为: S ? bS S ? aS | ? 一般情况下，假定关于A的全部产生式是： A ? Aα1 | Aα2 | ··· | Aαm | β1 | β2 | ··· | βn 消除直接左递归后改写为： A ? β1 A | β2 A| ··· | βn A A ? α1 A | α2 A | ··· | αm A | ? 消除间接左递归：对于间接左递归的消除需先将间接左递归变为直接左递归，然后再用消除直接左递归的方法来消除。 消除文法中一切左递归的算法： 把文法的所有非终结符按某一顺序排序 按排列的顺序逐次消除直接左递归 去掉无用产生式 看下例： 4 确定自顶向下分析方法 递归子程序法 预测分析法 递归子程序法举例： 预测分析法模型 预测分析法举例： * G[S]: S ? pA | qB A ? cAd | a B ? dB 输入以下单词序列 : pccadd 分析树将以下面产生式开始 S ? pA 特点：分析时，选取产生式的过程是唯一确定的 type ? simple | ? id | array [ simple ] of type simple ? integer | char | num dotdot num 开始符号 输入以下单词序列 : array [ num dotdot num ] of integer 分析树将以下面产生式开始 type ? array [ simple ] of type 特点：产生式的右部含有非终结符的情况 输入 : array [ num dotdot num ] of integer type ] simple of [ array type num num dotdot simple type ] simple of [ array type num num dotdot simple integer 向前指针 对一个文法符号串的开始符号集合定义如下： 定义1 设G=(VT ，VN ，S，P)是上下文无关文法 FIRST(α)={a | α aβ，a? VT ， α，β ? V * } 若α ε ，则规定ε ? FIRST(α) 输入以下单词序列 : abd