[理学]第5章 自顶向下语法分析方法.pptVIP

作业 阅读96页例题1. 做99页练习1、2（1）（2）（3） 7（1）（2）只对文法进行改写。 * 2.构造预测分析表 SELECT(E →TE) ={ ( , i } SELECT(E → +TE ) ={ + } SELECT(E → ε) ={ ) , # } SELECT(T →FT) ={ ( , i } SELECT(T → *FT ) ={ * } SELECT(T → ε) ={ + , ) , # } SELECT(F → ( E )) ={ ( } SELECT(F → i) ={ i } i + * ( ) # E →TE →TE E +TE → ε → ε T →FT →FT T → ε → *FT → ε → ε F → i → ( E ) * 运行： i + * ( ) # E →TE →TE E → +TE → ε →ε T →FT →FT T → ε → *FT → ε →ε F → i → ( E ) 分析栈 #E #ET #ETF #ETi #ET #E #ET+ #ET #ETF #ETi #ET #ETF* #ETF #ETi #ET #E # 剩余串 i+i*i# i+i*i# i+i*i# i+i*i# +i*i# +i*i# +i*i# i*i# i*i# i*i# *i# *i# i# i# # # # 产生式 E→TE T→FT F → i i 匹配 T → ε E → +TE + 匹配 T →FT F → i i 匹配 T → *FT * 匹配 F → i i 匹配 T → ε E → ε 接受 例：输入 i+i*i * * * S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c FOLLOW(S)={#}∪FOLLOW(D) FOLLOW(A)={a}∪{a,c}∪FOLLOW(S) FOLLOW(B)=FOLLOW(S) FOLLOW(C)=FOLLOW(S) FOLLOW(D)=FOLLOW(B)∪FOLLOW(C) FOLLOW(S)= {#} FOLLOW(A)= {a,c,#} FOLLOW(B)= {#} FOLLOW(C)= {#} FOLLOW(D)= {#} * 4.计算SELECT集 S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c FIRST(S)={a,b,ε} FIRST(A)={b, ε} FIRST(B)={a, ε} FIRST(C)={a,b,c} FIRST(D)={a,c} FIRST(AB)={a,b,ε} FIRST(AD)={a,b,c,ε} SELECT(S→AB)={a,b,#} SELECT(S→bC)={b} SELECT(A→ε)={a,c,#} SELECT(A→b)={b} SELECT(B→ε)={#} SELECT(B→aD)={a} SELECT(C→AD)={a,b,c} SELECT(C→b)={b} SELECT(D→aS)={a} SELECT(D→c)={c} FOLLOW(S)= {#} FOLLOW(A)= {a,c,#} FOLLOW(B)= {#} FOLLOW(C)= {#} FOLLOW(D)= {#} 该文法不是LL(1)文法。 * 5.3 某些非LL(1)文法到LL(1)文法的等价变换 LL(1)文法是无二义的 LL(1)文法不含左递归 非LL(1)文法的改造 提取左公共因子 消除左递归 * 提取左公共因子 A→αβ|αγ导致SELECT(A→αβ)∩ SELECT(A→αγ)≠Φ，因此为非LL(1)文法。 先把A→αβ|αγ等价变换为A→α(β|γ)，然后： A→αA A → β|γ 写成一般形式: A→αβ1|αβ2|…|αβn 变换为A→α(β1|β2|…|βn) ，然后：A→αAA → β1|β2|…|βn * 例：文法G1[S] 为:S→aSn S→aSS→ε 化为：S→aS(n|ε)S→ε 进一步化为：S→aSA A→n A→ε S→ε 结果仍然不是LL(1)文法。因此，文法中不含左公共因子只是LL(1)文法的必要条件。 * 例：文法G2为:A→adA→BcB→aAB→bB 1.化为：A→ad A→aAc A→bBc B→aAB→bB 2.化为： A→a(d|Ac) A→bBc B→aAB→bB 3.化为： A→aA A→bBc A→d A→Ac B→aAB→bB 结果是LL(1)文法。 * 例：文法G3[S] 为