编译原理习题参考结果解析.docVIP

程序设计语言与编译——语言的设计与实现（第2版） 习题4答案 4-5 解：上下文有关文法（1型文法），产生的语言L（G）{=aibici | i≥1,i为整数} 4-6 解：3型文法，L（G）={ai | i≥1,i为奇数} 4-7 解：2型文法，L（G）={aibi | i≥1,i为整数} 4-8 解：1型文法，L（G）={aibici | i≥1,i为整数} 4-9 解： 1. 最左推导 最右推导 S( (A) ( (B) ((SdB) S( (A) ( (B) ( (SdB) ( ((A)dB) ( ((B)dB) ( (SdS) ( (Sda) ( ((S)dB) ( ((b)dB) ( ((A)da ( ((B)da) ( ((b)dS) ( ((b)da) ( ((s)da( ((b)da) 2. 语法树 4-10解： 1. 因为存在推导S ( SbF ( SbP ( Sbc ( Fbc ( FaPbc 所以FaPbc是文法G (S) 的一个句型。 2. 语法树 4-11解： 因为串aaabaa可有下列两棵不同的语法树 所以文法G (S)是二义文法。 4-12解： 因为串i (*可有下列两棵不同的语法树 习题9答案 9-2解： （1）消除文法G的②产生式直接左递归。 A→SeA | fA ③ A→dA | ( ④ （）.A排序，将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排序，得到的产生式组合是另外的形式，但它们是等价的文法，读者可以试试。 9-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((); 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 9-6解： （1）G（S）：S→AS S→:AS | ( A→BA A→+BA | ( B→bS* | a （）FOLLOW集 FIRST FOLLOW S b，a :，( #，* A b，a #，*，: A +，( #，*，: B b，a #，*，:，+ 预测分析表 a : + b * # S S→AS S→AS S S→:AS S→( S→( A A→BA A→BA A A→( A→+BA A→( A→( B B→a B→bS* （3）因为预测分析表无多重定义入口，所以G是LL（1）文法。 9-7解： 对习题9-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）文法。 习题10答案 10-1解： （1）规范规范推导（最右推导）最右推导S