《语法分析自上而下分析.pptVIP

语法分析自上而下分析 在第三章，用正规式描述了单词符号的结构，并研究了如何用有限自动机构造词法分析器的问题。 由于正规式与正规文法是等价的，它们的描述能力有限，而高级语言的语法结构适合用上下文无关文法描述，因此，我们将上下文无关文法用作语法分析的基础。 本章和下一章，我们将介绍编译程序构造中的一些典型的语法分析方法。 语法分析—自上而下分析 语法分析器的功能 自上而下分析面临的问题 LL（1）分析法 左递归的消除 消除回溯、提左因子 LL（1）分析条件 递归下降分析程序构造 预测分析程序 预测分析程序工作过程 预测分析表的构造 作业 语法分析器的功能 语法分析是编译过程的核心部分。它的任务是在词法分析识别出单词符号串的基础上，分析并判定程序的语法结构是否符合语法规则。 自上而下分析面临的问题 自上而下就是从文法的开始符号出发，向下推导，推出句子。 我们首先将简单地介绍自上而下分析的一般方法。这种方法是带“回溯”的。 下一节，将着重讨论一种广为使用的不带回溯的递归子程序（递归下降）分析方法。 但是，自上而下分析法存在许多困难和缺点 首先，是文法的左递归性问题。 一个文法是含有左递归的，如果存在非终结符 P P ?+ P α 含有左递归的文法将使上述的自上而下的分析过程陷入无限循环。即，当试图用P去匹配输入串时，我们会发现，在没有识别任何输入符号的情况下，又得重新要求P去进行新的匹配。因此，使用自上而下分析法必须消除文法的左递归性。 LL（1）分析法 自上而下分析方法不允许文法含有任何左递归。 为构造不带回溯的自上而下分析算法，首先要消除文法的左递归性，并找出克服回溯的充分必要条件。 本节，我们将讨论消除左递归和克服回溯的方法。在后两节，将分别研究递归子程序分析算法及其变种一预测分析法。 左递归的消除 直接消除见诸于产生式中的左递归是比较容易的。假定关于非终结符P的规则为：P→Pα|β 其中，β不以P开头。那么，我们可以把P的规则改写为如下的非直接左递归形式： P→βP′ P→αP|ε 这种形式和原来的形式是等价的，也就是说，从P推出的符号串是相同的。 消除回溯、提左因子 欲构造行之有效的自上而下分析器，必须消除回溯。 为了消除回溯就必须保证：对文法的任何非终结符，当要它去匹配输入串时，能够根据它所面临的输入符号准确地指派它的一个候选去执行任务，并且此候选的工作结果应是确信无疑的。也就是说，若此候选获得成功匹配，那么，这种匹配决不会是虚假的；若此候选无法完成匹配任务，则任何其它候选也肯定无法完成。 例：对下面文法消除左递归： (1) S ? Qc|c (2)Q ? Rb|b (3) R ? Sa|a 解：1）对非终结符重新排序：R、Q、S 2）对R：S的序号大于R的序号，不处理。 对Q: R的序号1小于Q的序号2,所以改写 Q ? Rb|b ，将R ? Sa|a的右部取代R，得到： Q ? Sab|ab|b,记为：（2`)式； 此时， S的序号大于Q的序号,不再处理。 对S： Q的序号2小于S的序号3,所以改写 S ? Qc|c，将Q ? Sab|ab|b的右部取代Q，得到 S ? Sabc|abc|bc|c;出现直接左递归，变换为： S ? (abc|bc|c)S` S` ? abcS`| ? 3）由于 R ? Sa|a和 Q ? Sab|ab|b中的R,Q对开始符号S来说都是不可达非终结符，所有删除它们。 故最后消除左递归后文法为： S ? (abc|bc|c)S` S` ? abcS`| ? 注：1）若非终结符排列顺序不同，改写后的文法也不同，但它们是等价的。 2）开始符号不能改变。 在不得回溯的前提下，对文法有要求 令G是一个不含左递归的文法，对G的所有非终结符的每个候选α定义它的终结首符集FIRST(α)为： 求串?的终结首符集First(?)的算法 1）求出文法中每个文法符号的首符集； (1) 若x ?VT ，则First(x)={x}; (2) 若X?VN ，且有产生式X ?a……，则将a加到 First(X)中;若X ??, 则?也加入到 First(X)； (3) 若X ? Y1Y2…Yk，其中Yj?(VN?VT),1?j ?k,则按如下算法求First(X) j=0; FIRST(X)={}; //初始化 REPEAT j=j+1;