自顶向下的语法分析技术.pptVIP

FOLLOW(S)={#} FOLLOW(A)={a,#,c} FOLLOW(B)={#} FOLLOW(C)={#} FOLLOW(D)={#} 4．计算产生式的SELECT集 根据上面文法的FIRST集和FOLLOW集计算得结果如下表所示,该表表示的是文法的FIRST集合和FOLLOW集合。 非终结符名 是否推出? FIRST集 FOLLOW集 S 是 {b,a } {#} A 是 {b, ?} {a,c,#} B 是 {a, ?} {#} C 否 {a,b,c} {#} D 否 {a,c} {#} SELECT(S?AB)=(FIRST(AB)－{?})∪FOLLOW(S)={b,a,#} SELECT(S?bC)=FIRST(bC)={b} SELECT(A??)={FIRST(?)－{?}}∪FOLLOW(A)={a,c,#} SELECT(A?b)=FIRST(b)={b} SELECT(B??)={FIRST(?)－{?}}∪FOLLOW(B)={#} SELECT(B?aD)= FIRST(aD)={a} SELECT(C?AD)= FIRST(AD)={a,b,c} SELECT(C?b)= FIRST(b)={b} SELECT(D?aS)= FIRST(aS)={a} SELECT(D?c)= FIRST(c)={c} 由以上计算结果可得相同的左部产生式的SELECT交集为： SELECT(S?AB)∩SELECT(S?bC)={b,a,#}∩{b}={b}≠? SELECT(A??)∩SELECT(A?b)={a,c,#}∩{b}=? SELECT(B??)∩SELECT(B?aD)={#}∩{a}=? SELECT(C?AD)∩SELECT(C?b)={b,a,c}∩{b}={b}≠? SELECT(D?aS)∩SELECT(D?c)={a}∩{c}=? 由LL(1)文法定义知该文法不是LL(1)文法。 将某些非LL(1)文法转变成LL(1)文法 采用确定的自顶向下分析要求给定的文法必须是LL(1)文法，但并不是所有的文法是LL(1)文法。 有些文法，如果该文法含有直接左递归或间接左递归，或含有左公共因子则称该文法肯定不是LL(1)文法，要想将非LL(1)文法改为LL(1)文法，必须进行等价变换。 提取左公因子 将含有形如A???|??格式的产生式的文法叫做直接左公因子。 直接左公因子会导致相同左部的产生式，其右部的FIRST 集合有交集，即：SELECT(A???)∩SELECT(A???)≠?，不满足LL(1)文法的充分必要条件。 含有左公因子的文法不是LL(1)文法，我们必须要将非LL(1)文法改为LL(1)文法。 将A???1|??2|??3|...|??n，提取左公因子后变为： A??(?1|?2|?3|...|?n)引进非终结符A′,变为: A??A′ A′??1|?2|?3|??n 如果改进后，仍然含有左公因子，可以继续提取，直到不再含有左公因子为止。 例: 设有文法如下： S?S；T S?T T?if e then S else S T?if e then S T?a 将T?if e then S else S和T?if e then S 两个产生式提取左公因子后，变为： T?if e then S( else S|?)，引进新的非终结符T?， 产生式规则变为: T?if e then S T ? T?? else S|? 该文法变为： S?S；T S?T T?if e then S T ? T?? else S|? T?a 例: 若文法的产生式为： S?aSb S?aS S?? 根据消除左公因子的公式，文法变为： S?aS（b|?） 引进非终结符A后得到 S?aSA A?b|? 文法变为： S?aSA A? b|? S?? 在某些文法中有些左公因子可能是隐式的，在这种情况下，要将产生式规则进行替换。 例:有某个文法，其产生式为 A?ad A?Bc B?aA B?bB 将文法的产生式规则为： A?ad A?aAc A?bBc B?aA B?bB 从上面的式子可以看出仍旧含有左公因子。提取左公因子后得到 A?a(d|Ac) A?bBc B?aA B?bB 引进A?后得到产生式为 A?aA? A?bBc A??d A??Ac B?aA B?bB 例： S?Ap|Bq A?aAp|d B?aBq|e 不一定每个文法的左公共因子都能在有限的步骤内替换成无左公共因子的文法。 一个文法提取了左公共因子后，只解决了相同左部产生式右部的FIRST集不相交问题，当改