第四章 文法和语法分析.docVIP

第四章 文法与语法分析 4.8． 形如A--Aa 的产生式称为左递归的，类似地称B--βB 的产生式为右递归的。证明如果一个非终极符既有左又有右递归式，则文法一定有二义性。 答案： 设文法的非终极符A，有产生式 A→Aα|α A→βA|β 字符串βα 符合文法的要求，但分析树有两种 A A / \ / \ A α β A | | β α 因此非终极符既有左递归式，又有右递归式，则一定有二义性。 4.12. 下列那些文法是LL(1)文法？ 答案： LL(1)文法的条件：对于任意非终极符A,其任意两个产生式A-α和A-β都要满足下面条件： predict(A-α)∩predict(A-β)=Ф; (a) 因为非终极符B 不可到达，所以最后两个产生式可以去掉。对具有相 同左部的产生式A-a 和A-λ,它们的Predict 集的交集为空： predict(A-a)={a};Predict(A-λ)={b} 故a)所示文法是LL(1)文法。 (b) 1)A,B 可导出空 2)first(A)={a,b,λ},first(B)={b,λ},first(S)={a,b} follow(A)={b}, follow(B)={b}, follow(S)={#} predict(S-Ab)={a,b}, predict(A-a)={a},predict(A-B)={b},predict(A-λ)={b} predict(B-b)={b},predict(B-λ)={b} 因为predict(A-B)∩predict(A-λ)={b}!=Ф predict(B-b)∩predict(B-λ)={b}!=Ф 所以不是LL(1)文法 (c) 1)S,A,B 可导出空 2)first(S)={a,b},first(A)={a,λ},first(B)={b,λ} follow(S) ={#},follow(A) ={a,b,#},follow(B) ={a,b,#} predict(S-ABBA)={a,b,#} predict(A-a)={a},predict( A-λ )={a,b,#} (*) predict(B-b)={b},predict(B-λ)={a,b,#} (**) 由(*)和(**)两行知，不是LL(1)文法. (d) 1)没有非终极符可导出空 2)first(C)={c,d},first(B)={b,c,c},first(S)={a,b,c,d} follow(S)={e,#},follow(B)={e,#},follow(C)={c,e,#} predict(S-aSe)={a},predict(S-B)={b,c,d} predict(B-bBe)={b},predict(B-C)={c,d} predict(C-cCc)={c},predict(C-d)={d} 因为满足LL(1)文法的条件，所以是LL(1)文法. 4.13 对下列文法构造LL(1)分析表： E ---E E --(E) E --Var Etail Etail ---E Etail --λ Var --id Vtail Vtail --(E) Vtail --λ 答案： First(E)={-, (, id} Follow(E)={＃,)} First(Etail)={-, λ} Follow(Etail)={＃,)} First(Var)={ id } Follow(Var)={-,＃,)} First(Vtail)={ (, λ} Follow(Vtail){-,＃,)} [1] predict (E→-E)={¨ } [2] predict (E→(E))={(} [3] predict (E→Var Etail)={id} [4] predict (Etail→-E)={¨ } [5] predict (Etail→λ)={＃,)} [6] predict (Var→id Vtail)={id} [7] predict (Vtail→(E))={(} [8] predict (Vtail→λ)={¨ ,＃,)} 4.14 写出上述LL(1)分析器分析i--i(i)的过程，其中i 是标志符。 4.15 对下列文法转换为LL(1)文法： DL --DL；D DL --D D --idL: Type idL --id idL --idL, id Type --Stype Type --array (StypeL) of Type Sttype --id STtype --Bound..Bound Bound --Sign IntLiteral Bound --id Sign --+ Sign --- STypeL