程序的设计语言与编译教学指导4.docVIP

·PAGE 8· .. .. 习题7 7-1略 7-2解： （1）消除文法G的②产生式直接左递归。 A→SeA | fA ③ A→dA | ? ④ （2）消除间接左递归：按S.A排序（按书上P116页的算法i=2,j=1时）将S的①产生式代入③有 A→AaeA | AbeA | ceA | fA ⑤ （3）消除⑤的直接左递归有 A→ceAA | fAA ⑥ A→aeAA | beAA | ? ⑦ （4）对S的①产生式提公因子有 S→AB | c ⑧ B→| a | b ⑨ （5）最后，文法G提取公因子，消除左递归后的产生式由⑧, ⑨, ⑥, ⑦和④组成，无 多余的产生式。 （6）若按A.S排序，得到的产生式组合是另外的形式，但它们是等价的文法，读者可以试试。 7-3解： 消除左递归后，得文法G: S→(L) | a L→SL L→, SL | ? 递归下降过程： Procedure match(t:token); begin if lookahead=t then lookahead=nexttoken else error end procedure S; begin if lookahead=a then match(a) else if lookahead=( then begin match(c); L; if lookahead=) then match()) else error end end procudure L; begin S; L; end procudure L; begin if lookahead=, then begin match(,) S; L end end 7-4解： 这里只给出消除直接右递归的一般形式。 G：有产生式A→?1A | ? 2A | … | ? nA | ? 消除直接右递归时得产生式 A→A? A→A?1 | A?2 | … | A?n | ? 7-5解： （1）G（S）：S→AS S→iAS | ? A→BA A→+BA? A→bS* | a （2）FIRST集和FOLLOW集 FIRST FOLLOW S b，a #，* S i，? #，* A b，a #，*，i A +，? #，*，i B b，a #，*，i，+ 预测分析表 a i + b * # S S→AS S→AS S S→iAS S→? S→? A A→BA A→BA A A→? A→+BA A→? A→? B B→a B→bS* （3）因为预测分析表无多重定义入口，所以G是LL（1）文法。 7-6解： 对习题7-3的文法G消除左递归后，得文法G： S→(L) | a L→SL L→,SL | ? FIRST集和FOLLOW集 FIRST FOLLOW S (，a )，’，# L (，a ) L ’，? ) 预测分析表 （ ） a , # S S→(L) S→a L L→SL L→SL L L→) L→,SL 因为预测分析表无多重定义入口，所以文法G是LL（1）文法。 习题8 8-1解： （1）规范规范推导（最右推导）最右推导S?AB?ASb?AABb?bBABb （2）语法树（推导树） （3）短语 bB, AB, Abb, bBABb 直接短语 bB, AB 句柄 bB 最左素短语 bB 8-2解： （1）因为存在推导S?SbF?FbF?FaPbF?FaPbP?FaPbc 所以FaPbc是文法G的一个句型。 （2）语法树 （3）短语 FaP, c, FaPbc 直接短语 FaP, c 句柄 FaP 最左素短语 FaP 8-3解： 拓广文法 0.S→S 1.S→AS 2.S→b 3.A→SA 4.A→a LR（0）项目集规范族 I0=closure{S→·S} I1=GO(I0,S) I2=GO(I0,A) I3=GO(I0,b) I0:S→·S S→S· S→A·S S→b· S→·AS A→S