3.3-自上而下分析方法.ppt

3.3 自上而下分析方法 3.3.1 递归下降分析法 3.3.2 LL(1)分析法 3.3.1 递归下降分析法 递归下降分析法是一种自上而下的分析方法，文法的每个非终结符对应一个递归过程。分析过程就是从文法开始符出发执行一组递归过程，这样向下推导直到推出句子；或者说从根结点出发，自上而下为输入串寻找一个最左匹配序列，建立一棵语法树。 提取公共左因子存在的问题 不能解决ε候选式不确定性问题 如果ε是一个当前的候选式，匹配符号串的当前符号时，可以选择ε候选式，使当前符号与句型中在ε后面的符号匹配。 如果当前的候选式的首符集和跟在ε后面的符号相同，且同时与符号串的当前符号匹配，又要试探 提取公共左因子可能导致出现ε候选式 一种不会出现上面问题的文法——LL(1) LL(1)，从左(L)右扫描输入串，最左(L)推导，分析时，每步向前查看一个(1)符号 LL(1)方法和递归下降法属于同一级别的自顶向下分析法，但有一些区别： 递归下降法对每个非终极符产生子程序，而LL(1)方法则产生LL分析表； 递归下降法能判断每个产生式的结束，而LL(1)方法则不能； 递归下降法分析不用符号栈，而LL(1)方法则用符号栈(分析栈)。 对应的推导过程： A ? (由A→aA) a A ? (由A→ABl) a A B l ? (由A→aA) a a A B l ? (由A →ε)　 a a B l 　? (由B→dB) a a d B l ? (由B →ε) a a d l 最左推导 LL(1)文法的性质： 不含左递归、没有公共左因子； 无二义性的； 非LL(1)语言是存在的； 存在一种算法，它能判定任一文法是否为LL(1)文法； 不存在这样的算法，它能判定上下文无关语言能否由LL(1)文法产生。 作业： P86 3.1(3) 补充： 文法 ：S ? ( L ) | a L ? L , S | S 消除左递归，并求出FIRST集和FOLLOW集，构造LL(1)的分析表。 void T(?) { F(?); T(?); } void T(?) { if (lookahead = =*) { match (*); F(?); T(?); } } void F(?) { if (lookahead = = i) match (i); else if (lookahead = =() { match ((); E( ); if (lookahead = =)) match ()); else error (?); } error (?); } 说明: (1)考虑E的产生式: E→+TE |ε E‘有两个候选式,当E’面临输入符+时令第一个候选工作,当面临其它符号时, E‘自动获得匹配。递归函数E’根据这一原则设计。 (2) 限制：对文法要求高，必须满足LL(1)文法；由于递归调用多，速度慢，占用空间多。 尽管这样,它还是许多高级语言的编译系统经常采用的语法分析方法。 假定递归函数的调用以栈的形式来模拟, 下面分析输入串 # i1*(i2+i3)# 的语法分析过程, “#”为分隔符。 进行语法分析时,首先将“#”和文法开始符E压入栈中,当语法分析进行到栈中仅剩“#”而输入串扫描指针已指向输入串尾部的“#”时,则语法分析成功。分析过程如书上图3-13所示。 　　另一种表示法也可得到递归下降分析器，参见P48。 3.3.2 LL(1)分析法 (LL(1) parsing) LL(1)分析法又称预测分析法(Predictive Parsing), 是一种不带回溯的非递归自上而下分析法。 LL(1)的含义: 第一个L表明自左至右扫描输入串; 第二个L表明最左推导; 1表明向右查看一个符号。 类似地, 可有LL(k)文法, 即向前查看k个符号才能确定选用哪个产生式, 不过LL(k) (k1)在实际中极少使用。 1. 表驱动的LL(1)分析器 LL(1)分析法的基本思想: 根据输入串的当前输入符确定选用某