编译原理实践教程(黄贤英 王柯柯 编著) 习题答案.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+iE=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+iE=E+T=E+T*F=E+T*i=E+F*i=E+i*i=T+i*i=F+i*i =i+i*ii+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 → ABA → aAb|abB → cB|?(2) 令S为开始符号，产生的w中a的个数恰好比b多一个，令E为一个非终结符号，产生含相同个数的a和b的所有串，则产生式如下： S → aE|Ea|bSS|SbS|SSbE → aEbE|bEaE|?(3) 设文法开始符号为S，产生的w中满足|a|≤|b|≤2|a|。因此，可想到S有如下的产生式 （其中B产生1到2个b）： S → aSBS|BSaSB → 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 | BA→AC | DB→1|3|5|7|9D→2|4|6|8|BC→0|D(5) 文法G=({N,S,N,M,D},{0,1,2,3,4,5,6,7,8,9 },S,P)S→N0 | N5N→MD|?M→1|2|3|4|5|6|7|8|9D→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) [分析]设S是符合要求的串，|S|=2k+1 (k≥0）。则 S→S10|S21，|S1|=2k (k0），|S2|=2k (k≥0）。且S1是{0,1}