编译原理及实践程(黄贤英 王柯柯 编著) 习题答案.docVIP

第2章参考答案： 1，2，3：解答：略！ 4. 解答：? A：①? B：③? C：①? D：②? 5. 解答： 用E表示表达式，T表示项，F表示因子，上述文法可以写为： E → T | E+T T → F | T*F F → (E) | i 最左推导： E=E+T=E+T+T=T+T+T=F+T+T=i+T+T=i+F+T=i+i+T =i+i+F=i+i+i E=E+T=T+T=F+T=i+T=i+T*F=i+F*F=i+i*F=i+i*i 最右推导： E=E+T=E+F=E+i=E+T+i=E+F+i=E+i+i=T+i+i =F+i+i=i+i+i E=E+T=E+T*F=E+T*i=E+F*i=E+i*i=T+i*i=F+i*i =i+i*i i+i+i和i+i*i的语法树如下图所示。 i+i+i、i+i*i的语法树 6. 解答： (1) 终结符号为：{or,and,not,(,),true,false} 非终结符号为：{bexpr,bterm,bfactor} 开始符号为：bexpr(2) 句子not(true or false)的语法树为： 7. 解答： (1) 把anbnci分成anbn和ci两部分，分别由两个非终结符号生成，因此，生成此文法的产生式为： S → AB A → aAb|ab B → cB|? (2) 令S为开始符号，产生的w中a的个数恰好比b多一个，令E为一个非终结符号，产生含相同个数的a和b的所有串，则产生式如下： S → aE|Ea|bSS|SbS|SSb E → aEbE|bEaE|? (3) 设文法开始符号为S，产生的w中满足|a|≤|b|≤2|a|。因此，可想到S有如下的产生式 （其中B产生1到2个b）： S → aSBS|BSaS B → b|bb (4) 解法一： S →〈奇数头〉〈整数〉〈奇数尾〉 ? ? ? ? ?|〈奇数头〉〈奇数尾〉 ? ? ? ? ?|〈奇数尾〉 ? 〈奇数尾〉→ 1|3|5|7|9 ? 〈奇数头〉→ 2|4|6|8|〈奇数尾〉 ? 〈整数〉→ 〈整数〉〈数字〉|〈数字〉 ? 〈数字〉→ 0|〈奇数头〉 解法二：文法G=({S,A,B,C,D},{0,1,2,3,4,5,6,7,8,9},P,S) S→AB | B A→AC | D B→1|3|5|7|9 D→2|4|6|8|B C→0|D (5) 文法G=({N,S,N,M,D},{0,1,2,3,4,5,6,7,8,9 },S,P) S→N0 | N5 N→MD|? M→1|2|3|4|5|6|7|8|9 D→D0 | DM |? (6) G[S]：S→aSa | bSb | cSc | a | b | c |? 8. 解答： (1) 句子abab有如下两个不同的最左推导： S = aSbS = abS =abaSbS = ababS = abab? ? S = aSbS = abSaSbS = abaSbS = ababS = abab? ? 所以此文法是二义性的。(2) 句子abab的两个相应的最右推导：? ? S = aSbS = aSbaSbS = aSbaSb = aSbab = abab? ? S = aSbS = aSb = abSaSb = abSab = abab(3) 句子abab的两棵分析树： (a) (b) (4) 此文法产生的语言是：在{a，b}上由相同个数的a和b组成的字符串。 9，10：解答：略！ 第3章习题解答： 1. 解答： (1)??√ ?? (2)?√ ??(3)??× (4)??× ?? (5)?√ ?? (6) √ 2. [分析] ???有限自动机分为确定有限自动机和非确定有限自动机。确定有限自动机的确定性表现在映射?：Q×VT --q是单值函数，也就是说，对任何状态 q∈Q和输入字符串a∈VT，? (q,a)唯一确定下一个状态。显然，本题给出的是一个确定的有限自动机，它的状态转换图是C中的②。 ????它所接受的语言可以用正则表达式表示为00(0|1)*，表示的含义为由两个0开始的后跟任意个（包含0个）0或1组成的符号串的集合。 2. 解答：A:④?? B:③?? C:②?? D:②??E: ④ 3，4．解答：略！ 5．解答： 6．解答： (1) (0|1)*01 (2) ((1|2|…|9)(0|1|2|…|9)*| ?)(0|5) (3) (0|1)*(011)(0|1)* (4) 1*|1*0(0|10)*(1|?) (5) a*b*c*…z* (6) (0|10*1)*1 (7) (00|11)*((01|10)(00|11)*(01|10)(00|11)*)* (8)