编译原理第五章答案精选.

第一章1．典型的编译程序在逻辑功能上由哪几部分组成？答：编译程序主要由以下几个部分组成：词法分析、语法分析、语义分析、中间代码生成、中间代码优化、目标代码生成、错误处理、表格管理。

2. 实现编译程序的主要方法有哪些？答：主要有：转换法、移植法、自展法、自动生成法。

3. 将用户使用高级语言编写的程序翻译为可直接执行的机器语言程序有哪几种主要的方式？答：编译法、解释法。

4. 编译方式和解释方式的根本区别是什么？答：编译方式：是将源程序经编译得到可执行文件后，就可脱离源程序和编译程序单独执行，所以编译方式的效率高，执行速度快；解释方式：在执行时，必须源程序和解释程序同时参与才能运行，其不产生可执行程序文件，效率低，执行速度慢。

第二章1.乔姆斯基文法体系中将文法分为哪几类？文法的分类同程序设计语言的设计与实现关系如何？答：1）0型文法、1型文法、2型文法、3型文法。

2）2. 写一个文法，使其语言是偶整数的集合，每个偶整数不以0为前导。

答：Z→SME | BS→1|2|3|4|5|6|7|8|9M→ε | D | MDD→0|SB→2|4|6|8E→0|B3. 设文法G为：N→ D|NDD→ 0|1|2|3|4|5|6|7|8|9请给出句子123、301和75431的最右推导和最左推导。

答：N⇒ND⇒N3⇒ND3⇒N23⇒D23⇒123N⇒ND⇒NDD⇒DDD⇒1DD⇒12D⇒123N⇒ND⇒N1⇒ND1⇒N01⇒D01⇒301N⇒ND⇒NDD⇒DDD⇒3DD⇒30D⇒301N⇒ND⇒N1⇒ND1⇒N31⇒ND31⇒N431⇒ND431⇒N5431⇒D5431⇒75431N⇒ND⇒NDD⇒NDDD⇒NDDDD⇒DDDDD⇒7DDDD⇒75DDD⇒754DD⇒7543D⇒75431 4. 证明文法S→iSeS|iS| i是二义性文法。

答：对于句型iiSeS存在两个不同的最左推导：S⇒iSeS⇒iiSesS⇒iS⇒iiSeS所以该文法是二义性文法。

编译原理-第5章-习题与答案2第五章习题5-1 设有文法G[S]：S→A/ A→aA∣AS∣/(1) 找出部分符号序偶间的简单优先关系。

(2) 验证G[S]不是简单优先文法。

5-2 对于算符文法G[S]：S→E E→E-T∣T T→T*F∣F F→-P∣P P→(E)∣i(1) 找出部分终结符号序偶间的算符优先关系。

(2) 验证G[S]不是算符优先文法。

5-3 设有文法G′[E]：E→E1 E1→E1+T1|T1 T1→T T→T*F|F F→(E)|i其相应的简单优先矩阵如题图5-3所示，试给出对符号串（i+i）进行简单优先分析的过程。

题图5-3 文法G′[E]的简单优先矩阵5-4 设有文法G[E]：E→E+T|TT→T*F|FF→(E)|i其相应的算符优先矩阵如题图5-4所示。

试给出对符号串（i+i）进行算符优先分析的过程。

题图5-4 文法G[E]的算符优先矩阵5-5 对于下列的文法，试分别构造识别其全部可归前缀的DFA和LR(0)分析表，并判断哪些是LR(0)文法。

(1) S→aSb∣aSc∣ab(2) S→aSSb∣aSSS∣c(3) S→A A→Ab∣a5-6 下列文法是否是SLR(1)文法？若是，构造相应的SLR(1)分析表，若不是，则阐明其理由。

(1) S→Sab∣bR R→S∣a(2) S→aSAB∣BA A→aA∣B B→b(3) S→aA∣bB A→cAd∣ε B→cBdd∣ε5-7 对如下的文法分别构造LR(0)及SLR(1)分析表，并比较两者的异同。

S→cAd∣b A→ASc∣a5-8 对于文法G[S]:S→A A→BA∣ε B→aB∣b(1) 构造LR(1)分析表；(2) 给出用LR(1)分析表对输入符号串abab的分析过程。

5-9 对于如下的文法，构造LR(1)项目集族，并判断它们是否为LR(1)文法。

(1) S→A A→AB∣ε B→aB∣b(2) S→aSa∣a第5章习题答案25-1 解：(1) 由文法的产生式和如答案图5-1(a)所示的句型A／／a／的语法树，可得G中的部分优先关系如答案图5-1(b)所示。

（1）以01结尾的二进制数串。 (0 | 1)*01
（2）能被5整除的十进制数。
0|5
| (1|2|3|4|5|6|7|8|9)
（3）包含奇數個1或奇數個0的二進制串
0*1(0|10*1)*|1*0(0|10*1)*
（4）英文字母组成的所有符号串，要求符号串中的 字母按字典序排列。
(A | a)* (B | b)* (C | c)*… (Z | z)*
I00
0 ΦC
0
B {c,d} 1 0
E
1
{c,d} D
{c,d,f}
1
1
{c,d}
{c,d,f}
chapter1~5习题
I1 {b,c,d} 1 {c,dF,e}
{c,d,e} 0 {c,d,e} {c,d,e,g}
{c,d,e}
S
0
A(始态)
Φ
B
C
C
C
D
E
E
C
F(终态)
E
1 B D D D F(终态) D
1(0|1)*101 1(0|1)*101
chapter1~5习题
g
1
a
(0|1)* b
101
d
g
1 a
0
ε
ε
b
c
1
1
0
1
d
e
f
g
编译原理
②.状态转换矩阵
1 a
0
ε
ε
b
c
1
chapter1~5习题
1
0
1
d
e
f
g
I {a} {b,c,d} {c,d} {c,d,e} {c,d,f} {c,d,e,g}

第五章2．对下面的文法G：E→TE/E/→+E|εT→FT/T/→T|εF→PF/F/→*F/|εP→(E)|a|b|^(1)计算这个文法的每个非终结符的FIRST集和FOLLOW集。

(2)证明这个方法是LL(1)的。

(3)构造它的预测分析表。

(4)构造它的递归下降分析程序。

解：（1）计算这个文法的每个非终结符的FIRST集和FOLLOW集。

FIRST集合有：FIRST(E)=FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^};FIRST(E/)={+,ε}FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^};FIRST(T/)=FIRST(T)∪{ε}={(,a,b,^,ε};FIRST(F)=FIRST(P)={(,a,b,^};FIRST(F/)=FIRST(P)={*,ε};FIRST(P)={(,a,b,^};FOLLOW集合有：FOLLOW(E)={),#};FOLLOW(E/)=FOLLOW(E)={),#};FOLLOW(T)=FIRST(E/)∪FOLLOW(E)={+,),#};//不包含εFOLLOW(T/)=FOLLOW(T)=FIRST(E/)∪FOLLOW(E)={+,),#};FOLLOW(F)=FIRST(T/)∪FOLLOW(T)={(,a,b,^,+,),#};//不包含εFOLLOW(F/)=FOLLOW(F)=FIRST(T/)∪FOLLOW(T)={(,a,b,^,+,),#};FOLLOW(P)=FIRST(F/)∪FOLLOW(F)={*,(,a,b,^,+,),#};//不包含ε(2)证明这个方法是LL(1)的。

各产生式的SELECT集合有：SELECT(E→TE/)=FIRST(T)={(,a,b,^};SELECT(E/→+E)={+};SELECT(E/→ε)=FOLLOW(E/)={),#}SELECT(T→FT/)=FIRST(F)={(,a,b,^};SELECT(T/→T)=FIRST(T)={(,a,b,^};SELECT(T/→ε)=FOLLOW(T/)={+,),#};SELECT(F→PF/)=FIRST(P)={(,a,b,^};SELECT(F/→*F/)={*};SELECT(F/→ε)=FOLLOW(F/)={(,a,b,^,+,),#};SELECT(P→(E))={(}SELECT(P→a)={a}SELECT(P→b)={b}SELECT(P→^)={^}可见，相同左部产生式的SELECT集的交集均为空，所以文法G[E]是LL(1)文法。

第五章习题解答5.1 设一NDPDA识别由下述CFG定义的语言，试给出这个NDPDA的完整形式描述。

S→SASCS→εA→AaA→bC→DcDD→d5.2 消除下列文法的左递归：① G[A]:A→BX∣CZ∣WB→Ab∣BcC→Ax∣By∣Cp② G[E]:E→ET+∣ET–∣TT→TF*∣TF/FF→(E)∣i③ G[X]:X→Ya∣Zb∣cY→ Zd∣Xe∣fZ→X e∣Yf∣a④ G[A]:A→Ba|Aa|cB→Bb|Ab|d5.3 设文法G[<语句>]：<语句>→<变量>: = <表达式>|if<表达式>then<语句>|if<表达式>then<语句>else<语句> <变量>→i<表达式>→<项>|<表达式>+<项><项>→<因子>|<项>*<因子><因子>→<变量>|′(′<表达式>′)′试构造该文法的递归下降子程序。

5.4 设文法G[E]：E→ TE'E'→ + E∣εT→ FT'T'→ T∣εF→ PF'F'→ *F∣εP→ (E)∣ a∣^①构造该文法的递归下降分析程序；②求该文法的每一个非终结符的FIRST集合和FOLLOW集合；③构造该文法的LL（1）分析表，并判断此文法是否为LL（1）文法。

5.5 设文法G[S]：S→ SbA∣aAB→ SbA→ Bc①将此文法改写为LL（1）文法；②求文法的每一个非终结符的FIRST集合和FOLLOW集合；③构造相应的LL（1）分析表。

5.6 设文法G[S]：S→ aABbcd∣εA→ ASd∣εB→ SAh∣eC∣εC→ Sf∣Cg∣εD→ aBD∣ε①求每一个非终结符的FOLLOW集合；②对每一个非终结符的产生式选择，构造FIRST集合；③该文法是LL（1）文法。

第四章4.1文法G1为：N→ND | D D→0 | 1（1）L(G1)如何表示？（2）给出句子011100的最左推导和最右推导。

解答：(1) L(G1)为无符号二进制数。

(2)最左推导：N⇒ND⇒NDD⇒ NDDD⇒ NDDDD⇒ NDDDD⇒ NDDDDD⇒ DDDDDD ⇒ 0DDDDD⇒ 01DDDD⇒ 011DDD⇒ 0111DD⇒ 01110D⇒ 011100最右推导：N⇒ND⇒N0⇒ ND0⇒ N00⇒ ND00⇒ N100⇒ ND100⇒ N1100 ⇒ ND1100 ⇒ N11100⇒ D11100 ⇒ 0111004.2 写一文法G2，使其L(G2)是正奇数集合，且每个数不以0打头。

解答：令G2={ V N,V T,P, <正奇数>}，其中，V T ={0,1,2,3,4,5,6,7,8,9}，V N ={<正奇数>, <一位奇数>, <一位偶数>, <数字串>, <数字1>, <数字>}，P：<正奇数>→<一位奇数>│<数字串> <一位奇数><数字串>→<数字串><数字>│<数字1><数字>→<一位奇数>│<一位偶数>数字1→1│2│3│4│5│6│7│8│9<一位奇数>→1│3│5│7│9<一位偶数>→0│2│4│6│84.3 设文法G3为：E→E+T | TT→T*F | FF→(E) | i试证明符号串T*F+ i是G3的句型，并给出此句型的所有短语以及句柄。

解答：由于有推导E⇒E+T⇒T+T⇒T*F+T⇒ T*F+F⇒T*F+i所以T*F+i是的G3的句型。

此句型T*F+i的语法树如图4-5：EE + TT Fi图4-5 句型T*F+i的语法树根据语法树此句型的短语有：T*F, i, T*F+i.句柄为T*F。

第一章1.2 计算机执行用高级语言编写的程序有哪些途径？它们之间的主要区别是什么？ 【解答】计算机执行用高级语言编写的程序主要有两种途径：解释和编译。

这两种途径的主要区别在于：解释方式下不生成目标代码程序，而编译方式下生成目标代码程序。

从执行速度上看，编译型的高级语言比解释型的高级语言要快，但解释方式下的人机界面比编译型好，便于程序调试。

（在解释方式下，翻译程序事先并不采用将高级语言程序全部翻译成机器代码程序，然后执行这个机器代码程序的方法，而是每读入一条源程序的语句，就将其解释(翻译)成对应其功能的机器代码语句串并执行，而所翻译的机器代码语句串在该语句执行后并不保留，最后再读入下一条源程序语句，并解释执行。

这种方法是按源程序中语句的动态执行顺序逐句解释(翻译)执行的，如果一语句处于一循环体中，则每次循环执行到该语句时，都要将其翻译成机器代码后再执行。

在编译方式下，高级语言程序的执行是分两步进行的：第一步首先将高级语言程序全部翻译成机器代码程序，第二步才是执行这个机器代码程序。

因此，编译对源程序的处理是先翻译，后执行。

）1.3 请画出编译程序的总框图。

如果你是一个编译程序的总设计师，设计编译程序时应当考虑哪些问题？ 【解答】编译程序总框图如图1-1所示。

作为一个编译程序的总设计师，首先要深刻理解被编译的源语言其语法及语义；其次，要充分掌握目标指令的功能及特点，如果目标语言是机器指令，还要搞清楚机器的硬件结构以及操作系统的功能；第三，对编译的方法及使用的软件工具也必须准确化。

总之，总设计师在设计编译程序时必须估量系统功能要求、硬件设备及软件工具等诸因素对编译程序构造的影响等。

第二章2.1 正规式M1和M2等价是指：M1和M2所识别的语言集相等。

2.2 什么是扫描器？扫描器的功能是什么？【解答】扫描器就是词法分析器，它接受输入的源程序，对源程序进行词法分析并识别出一个个单词符号，其输出结果是单词符号，供语法分析器使用。

第五章语法制导翻译及中间代码生成5.1说明属性文法与属性翻译文法有何异同?5.2考虑下面的属性文法：Z →sXattribution:Z.a=X.c;X.b=X.a；Z.p=X.b；Z →t Xattribution：X.b=X.d;Z.a=X.b;X →uattribution:X.d=1;X.c=X.d;X →Vattribuion:X.c=2;X.d=X.c;(1) 上述文法中的属性哪些是继承的?哪些是综合的?(2) 上述文法中的属性依赖是否出现了循环?5.3为什么说S属性文法一定是L属性文法?反之结论亦正确吗?5.4将下列中缀式改写为逆波兰式。

(1) -A*(B+C)↑(D-E)(2) ((a*d+c)/d+e)*f+g(3) a+x≤4∨(C∧d*3)(4) a∨b∧c+d*e↑f(5) s=0; i=1;while (i＜=100) {s+=i*i; i++;}5.5将下列后缀式改写为中缀式。

(1) abc*+(2) abc-*cd+e/-(3) abc+≤a0＞∧ab+0≠a0∧∨(4) ab＜p1 BZ xab-c↑= p2 BR gh=↑↑p1p25.6设已给文法G［E］：E →E+T | -T | TT →T*F | FF →P ↑F | PP →(E) | i试设计一个递归下降分析器，要求此分析器在语法分析过程中，将所分析的符号串翻译成后缀式。

5.7设已给布尔表达式文法G［Z］：Z →EE →T{∨T}T →F{∧F}F → F | (E) | b试设计一个递归下降分析器，它把由G［Z］所描述的布尔表达式翻译为四元式序列。

5.8(1) 利用54节所给的属性翻译文法将赋值语句：X=A*(B+C)+D翻译成四元式序列，给出语法制导的翻译过程。

(2) 利用55节所给的属性翻译文法将布尔表达式：A∧(B∨(C∨D F))翻译成四元式序列，给出语法制导的翻译过程。

(3) 利用56节所给的属性翻译文法将语句：while A＜C∧B＞0 doif A=1 then C∶=C+1else while A＜=D do A∶=A+2翻译成四元式序列，给出语法制导的翻译过程。

上一页
下一页
11
例：5.3 文法：SaAcBe A bAb B d 句子：abbcde
步骤 （1） （2） （3） （4） （5） （6）
栈
＃ ＃a ＃ab ＃aA ＃aAb ＃aA ＃aAc ＃aAcd ＃aAcB ＃aAcBe ＃S
输入 abbcde＃ bbcde＃ bcde＃ bcde＃ cde＃ cde＃
上一页
下一页
20
5）构造算符优先文法G的优先表的算法
思路：对文法中的每一个产生式的候选式检查，判断句型中相邻符号之间 的关系 来构造优先表； 具体算法： FOR 每条产生式P→X1X2…Xn FOR i＝1 TO n－1 IF Xi，Xi+1∈VT，THEN Xi＝Xi+1； IF i ≤n-2且Xi，Xi+2∈VT，Xi+1∈VN THEN Xi＝Xi+2； IF Xi∈VT，Xi+1∈VN THEN FOR FIRSTVT(Xi+1)中的每个a Xi <. a； NEXT IF Xi∈VN，Xi+1∈VT THEN FOR LASTVT(Xi)中的每个a DO a .> Xi＋1； NEXT NEXT NEXT

上一页
下一页
8
例：5.1 P85 文法： E→T|E＋T T→F|T*F F→i|（E） 句型：i1*i2＋i3其中：短语有i1、i2、i3、i1*i2、 i1*i2＋i3 直接短语：i1、i2、i3；句柄：i1 例：5.2 P85 文法如上 E 句型：E+T*F+i 短语：E+T*F+i，E+T*F，T*F，i 直接短语：T*F和i E + 句柄：T*F

第五章代码优化5.1 完成以下选择题：(1) 优化可生成的目标代码。

a. 运行时间较短b. 占用存储空间较小c. 运行时间短但占用内存空间大d. 运行时间短且占用存储空间小(2) 下列优化方法不是针对循环优化进行的。

a. 强度削弱b. 删除归纳变量c. 删除多余运算d. 代码外提(3) 基本块内的优化为。

a. 代码外提，删除归纳变量b. 删除多余运算，删除无用赋值c. 强度削弱，代码外提d. 循环展开，循环合并(4) 在程序流图中，我们称具有下述性质的结点序列为一个循环。

a. 它们是非连通的且只有一个入口结点b. 它们是强连通的但有多个入口结点c. 它们是非连通的但有多个入口结点d. 它们是强连通的且只有一个入口结点(5) 关于必经结点的二元关系，下列叙述中不正确的是。

a. 满足自反性b. 满足传递性c. 满足反对称性d. 满足对称性【解答】(1) d (2) c (3) b (4) d (5) d5.2 何谓局部优化、循环优化和全局优化？优化工作在编译的哪个阶段进行？【解答】优化根据涉及的程序范围可分为三种。

(1) 局部优化是指局限于基本块范围内的一种优化。

一个基本块是指程序中一组顺序执行的语句序列(或四元式序列)，其中只有一个入口(第一个语句)和一个出口(最后一个语句)。

对于一个给定的程序，我们可以把它划分为一系列的基本块，然后在各个基本块范围内分别进行优化。

通常应用DAG方法进行局部优化。

(2) 循环优化是指对循环中的代码进行优化。

例如，如果在循环语句中某些运算结果不随循环的重复执行而改变，那么该运算可以提到循环外，其运算结果仍保持不变，但程序运行的效率却提高了。

循环优化包括代码外提、强度削弱、删除归纳变量、循环合并和循环展开。

5.3 将下面程序划分为基本块并作出其程序流图。

read(A,B)F=1C=A*AD=B*Bif C<D goto L1E=A*AF=F+1E=E+Fwrite(E)haltL1: E=B*BF=F+2E=E+Fwrite(E)if E >100 goto L2haltL2: F=F-1goto L1【解答】先求出四元式程序中各基本块的入口语句，即程序的第一个语句，或者能由条件语句或无条件转移语句转移到的语句，或者条件转移语句的后继语句。

《编译原理》习题参考答案（六）第五章5.4 为下列类型写类型表达式：(a) 指向实数的指针数组，数组的下标从1到100。

(b) 两位数组（即数组的数组），他的行下标从1到10，列下标从1到20。

(c) 函数，他的定义域是从整数到整数的指针的函数，它的值域是从一个整数和一个字符组成的纪录。

Solution:(a) array ( 1 . . 100 , pointer ( real ) )(b) array ( 1 . . 10 , array ( 1 . . 20 , type ) )(c) ( integer →pointer(integer) )→record((i : integer) * ( c : char )) 假定作为值域的记录类型的两个域分别叫i和c。

5.6 下列文法定以字面常量表的表。

符号的解释和图5.2文法的那些相同，增加了类型list，它表示类型T的元素表。

→ D ; EP→ D ; D | id : TD→ list of T | char | integerTE→ ( L ) | literal | num | id→ E , L | EL写一个类似5.3节中的翻译方案，以确定表达式( E )和表( L )的类型。

P→ D ; ED→ D ; DD→ id : T { addtype ( id.entry , T.type ) }T→ char { T.type := char }T→ integer { T.type := integer }T→ list of T1 { T.type := list ( T1.type ) }E→ literal { E.type := char }E→ num { E.type := integer }E→ id { E.type := lookup ( id.entry ) }E→ ( L ) { E.type := list ( L.type ) }L→E{L.type:=E.type}L→ E , L1 { L.type := if L1.type = E.type then E.typeelse type_error }5.16 对下面的每对表达式，找出最一般的合一代换：(a) α1 → ( α2 →α1 )(b) array ( β1 ) → ( pointer( β1 ) →β2 )(c) γ1 →γ2(d) δ1 →(δ1 →δ2 )Solution:S(α1) = array ( β1 ) S(α2) = pointer ( β1 ) S(β2) = array ( β1 ) (a)(c):S(γ1) = α1 S(γ2) = α2 → α1 (a)(d):S(α1) = S(α2) = S(δ1) = S(δ2) = α (b)(c):S(γ1) = array ( β1 ) S(γ2) = pointer ( β1 ) → β2 (b)(d): 无 (c)(d):S(γ1) = δ1 S(γ2) = δ1 → δ25.17 仿效例5.5，推到下面map 的多态类型: map: ∀ α . ∀ β . ( ( α → β ) * list ( α ) ) → list ( β ) map 的ML 定义是 fun map ( f , l ) = if null ( l ) then nilelse cons ( f ( hd ( l ) ) , map ( f , tl ( l ) ) );在这个函数体中，内部定义的标识符的类型是： null : ∀α . list (α ) → boolean ; nil : ∀α . list (α ) ;cons : ∀α . ( α * list (α ) ) → list (α ) ;hd:∀α . list (α ) →α;∀α . list (α ) → list (α ) ;tl:Solution:行定型断言代换规则(1) f : α( Exp Id )(2) l : β( Exp Id )(3) map : γ( Exp Id )(4) map ( f , l ) : δγ = ( α * β ) →δ(Exp Funcall)(5) null : list (α0) → boolean ( Exp Id ) 和( Type Fresh )(6) null ( l ) : boolean β = list (α0) (Exp Funcall)(7) nil : list (α1) ( Exp Id ) 和( Type Fresh )(8) l : list (α0) 由（2）可得(9) hd : list (α2) →α2( Exp Id ) 和( Type Fresh )(10) hd ( l ) : α0α2 = α0(Exp Funcall)(11) f ( hd ( l ) ) : α3α = α0→α3( Exp Id )(12) f : α0→α3由（1）可得(13) tl : list (α4)→ list (α4) ( Exp Id ) 和( Type Fresh )(14) tl ( l ) : list (α0) α4 = α0(Exp Funcall)(15) map : ((α0→α3)*list(α0))→δ由（3）可得(16) map ( f , tl ( l ) ) : δ(Exp Funcall)(17) cons : α5 * list(α5) → list(α5) ( Exp Id ) 和( Type Fresh ) (18) cons (…) : list (α3) α5 = α3 , δ=list(α3) (Exp Funcall)(19) if : boolean *α6 * α6→α6( Exp Id ) 和( Type Fresh )(20) if (…) : list (α1) α6 = α1 , α3 = α1(Exp Funcall)(21) match : α7 *α7 →α7( Exp Id ) 和( Type Fresh ) (22) match (…) : list (α1) α7 = list (α1) (Exp Funcall)至此有map : ( (α0→α1)*list(α0) )→list(α1)所以map : ∀α . ∀β . ( ( α→β ) * list ( α ) ) → list ( β )5.18 假定类型名link和cell如5.5节那样定义，下面的表达式中，那些结构等价？那些名字等价？(a) link(b) pointer ( cell )(c) pointer ( link )(d) pointer ( record ( ( info : integer ) * ( next : pointer ( cell ) ) ) ) Solution:(a)、(b)、(d)结构等价，无名字等价。

练习5.1解答：输入(4*7+1)*2n,带注释的分析树如下：练习5.2解答: (1)根据表5.3中的语法制导定义建立表达式((a)+(b))的分析树和语法树(2)根据图5.17的翻译模式构造((a)+(b))的分析树和语法树练习5.3解答:设置下面的函数和属性：expr1||expr2:把表达式expr2拼写在表达式expr1后面。

deletep(expr):去掉表达式expr左端的‘（’和右端的‘)’。

E.expr,T.expr,F.expr:属性变量，分别表示E，T，F的表达式。

E.add,T.add,F.add,属性变量，若为true，则表示其表达式中外层有‘＋’号，否则无‘＋’号。

E.pmark,T.pmark,F.pmark,属性变量，若为true，表示E,T,F的表达式中左端为‘（’，右端是‘）’。

语法制导定义如下：产生式语义规则E -> E1 +T if(T.pmark==true)THEN E.expr=E1.expr||'+'||deletep(T.expr) ELSE E.expr:=E1.expr||'+'||T.expr;E.add:=true;E.pmark:=false;E -> T if(T.pmark==true)THEN E.expr:=deletep(T.expr)ELSE E.expr:=T.expr;E.add:=T.add;E.pmark:=false;T -> T1*F T.expr:=T1.expr||'*'||F.expr; T.add:=false;T.pmark:=false;T -> F T.expr:=F.expr; T.add:=F.add;T.pmark:=F.pmark;F -> (E) if(E.add==false)THEN BEGINF.expr:=E.expr;F.add:=false;F.pmark:=false;ENDELSE BEGINF.expr:='('||E.expr||')';F.add:=true;F.pmark:=true;END;F -> id F.expr:=id.lexval;F.add:=false;F.pmark:=false;练习5.4解答: (1)语法制导定义如下：产生式语义规则E -> E1+T if(E1.type==int) AND (T.type==int) THEN E.type:=intELSE E.type:=real;E -> T E.type:=T.type;T -> num T.type:=int;T -> num.num T.type:=real;(2)设E.pf和T.pf分别是E和T的前缀形式，||是两个字符串的连接，语法制导定义如下：产生式语义规则E -> E1+T if(E1.type==int) AND (T.type==int)THEN E.type:=intELSE BEGINE.type:=real;if(E1.type==int) AND (T.type==real)THEN E1.pf:='inttoreal'||E1.pfELSE if(E1.type==real)AND(T.type==int)THEN T.pf:='inttoreal'||T.pfEND;E.pf:='+'||E1.pf||T.pf;E -> T E.type:=T.type; E.pf:=T.pf;T -> num T.type:=int; T.pf:=int.lexval;T ->num.numT.type:=real; T.pf:=real.lexval;练习5.5解答: (1)用综合属性决定s.val的语法制导定义：产生式语义规则S -> L S.val:=L.val;S ->L1.L2S.val:=L1.val+L2.val*L2.p;L -> B L.val:=B.val; L.p:=2-1;L -> L1B L.val:=L1.val*2+B.val; L.p:=L.p*2-1;B -> 0 B.val:=0;B -> 1 B.val:=1;注：L.p表示恢复L.val的因子。

选择题2答案
编译原理的主要目的是将高级语言编写的 程序转换成低级语言编写的程序，以提高 程序的运行效率和可移植性。
编译过程主要包括词法分析、语法分析、 语义分析、中间代码生成、代码优化和目 标代码生成等阶段。
选择题3答案
选择题4答案
词法分析是将源程序分解成一个个的单词 或符号，供语法分析器识别和匹配。
编译原理-第1~5章习题课答案
目录
CONTENTS
• 第一章习题答案 • 第二章习题答案 • 第三章习题答案 • 第四章习题答案 • 第五章习题答案
01 第一章习题答案
CHAPTER
填空题答案
填空题1答案
编译原理是将高级语言编写的程 序转换成低级语言编写的程序的
过程。
填空题2答案
编译过程主要包括词法分析、语法 分析、语义分析、中间代码生成、 代码优化和目标代码生成等阶段。
• 简答题3答案：编译器的输入是源程序，输出是目标程序。源程序是用高级语言编写的程序，目标程序是用低级语言编 写的程序。
02 第二章习题答案
CHAPTER
填空题答案
填空题1答案
编译原理是将高级语言编写的程序转 换成低级语言编写的程序的过程。
02
填空题2答案
编译过程主要包括词法分析、语法分 析、语义分析、中间代码生成、代码 优化和目标代码生成等阶段。
是编译过程的基础。
简答题3答案
编译原理中的语义分析阶段主要 包括类型检查、语义检查和符号 表管理等任务，以确保源程序的
语义正确性。
04 第四章习题答案
CHAPTER
填空题答案
填空题1答案
01
编译原理是将高级语言编写的程序转换成低级语言编写的程序

SELECT(F PF/ )=FIRST(P)={(,a,b,^};
SELECT(F/ *F /)={*}; SELECT(F/ ε )=FOLLOW(F/)={(,a,b,^,+,),#};
SELECT(P (E))={(}
SELECT(P a)={a}
SELECT(P b)={b}
SELECT(P ^)={^} 可见，相同左部产生式的
if(CH== ’ aR’E)AD(CH);// 产生式 S a else if(CH== ’ ^ ’ ) READ(C产H)生;//式 S ^ else if(CH== ’产( ’生)式// S (T) {
READ(CH); P_T(); IF (CH= =’ ) ’TH）EN READ(CH) else ERROR } else ERR; } void P_T()// 非终结符 S 的子程序 { if(IsIn(CH,FIRST_SU)) //FIRST_SU 为 T SU 的右部的 FIRST 集合 { P_S(); P_U(); } } void P_U()// 非终结符 U 的子程序 { if(CH== ’ , ’产生)//式 U ， SU
3．已知文法 G[S] ：
S MH|a
H LSo| ε K dML|ε
L eHf
M K|bLM 判断 G是否是 LL（ 1）文法，如果是，构造 LL（ 1）分析表。 解： 首先求各非终结符的 FIRST 集合：
FIRST 集合有：
FIRST(E)=FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^}; FIRST(E / )={+, ε }
FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^}; FIRST(T / )=FIRST(T) ∪ { ε }={(,a,b,^, ε };

第五章P138.1．解：由中缀表达式翻译成波兰前缀表达式的符号串翻译文法如下：①E→@+E+T ②E→T ③T→@*T*F④T→F ⑤F→(E) ⑥F→a@a⑦F→b@b ⑧F→c@c2．解：a)输入符号串的倒置：①S→@0S0 ②S→@1S1 ③S→1@1④S→0@0c)输入符号串本身：①S→S0@0 ②S→S1@1 ③S→1@1④S→0@03．解：该符号串翻译文法能将输入的符号序列“ENGLISH”翻译成动作序列“@C@HI@N@E@SE”，并执行该动作序列得到输出序列“CHINESE”。

4．解：根据活动序列将动作符号放到文法中适当位置得到该翻译文法为：①<s>→@q a<s>@x <s>@y ②<s>→@x @y b@z5．解：由该符号串翻译文法得到其输入文法为：①<s>→<A>c<B> ②<s>→dcb③<A>→<B>a ④<A>→d ⑤<B>→b由推导：s=><A>c<B>=><A>cb=>dcb 可得到对偶<dcb,xxy>由推导：s=>dcb 可得到对偶<dcb,yxz>由推导：s=><A>c<B>=><A>cb=><B>acb=>bacb可得到对偶<dcb,xyxxy>第六章符号表管理技术P185.4、下面是一个非分程序结构语言的程序段。

画出编译该程序段时将生成的有序符号表。

BLOCKREAL X，Y，Z1，Z2，Z3；INTEGER I，J，K，LASTI；STRING LIST-OF-NAMES；LOGICAL ENTRY-ON，EXIT-OFF；ARRAY REAL VAL（20）；ARRAY INTEGER MIN-VAL-IND（20）；...END OF BLOCK解：变量名类型维数ENTRY-ON LOGICAL 0EXIT-OFF LOGICAL 0I INTEGER 0J INTEGER 0K INTEGER 0LASTI INTEGER 0LIST-OF-NAMES STRING 0MIN-VAL-IND INTEGER 1VAL REAL 1X REAL 0Y REAL 0Z1 REAL 0Z2 REAL 0Z3 REAL 06、下面是一分程序结构的程序段。

编译原理教程第五版课后答案第一章：引言问题1答：编译器是一种将高级编程语言源代码转换为目标机器代码的软件工具。

它由多个阶段组成，包括词法分析、语法分析、语义分析、中间代码生成、代码优化和代码生成等。

问题2答：编译器的主要任务包括以下几个方面： - 词法分析：将源代码划分为词法单元，如标识符、关键字、操作符等。

- 语法分析：根据语法规则，将词法单元组成语法树。

- 语义分析：对语法树进行语义检查，如类型匹配、变量声明等。

- 中间代码生成：将语法树转换为中间代码表示形式。

- 代码优化：对中间代码进行优化，以提高程序的效率。

- 代码生成：将优化后的中间代码转换为目标机器代码。

第二章：词法分析问题1答：词法单元是编译器在词法分析阶段识别的最小的语法单位，它由一个或多个字符组成。

常见的词法单元包括关键字、标识符、常量和运算符等。

问题2答：识别词法单元的方法包括以下几种： - 正则表达式：通过正则表达式匹配字符串，识别出各类词法单元。

- 有限自动机：构建有限状态自动机，根据输入字符的不同状态转移，最终确定词法单元。

- 递归下降法：使用递归下降的方式，根据语法规则划分出词法单元。

第三章：语法分析问题1答：语法分析是编译器的一个重要阶段，它的主要任务是根据给定的语法规则，将词法单元序列转换为语法树。

语法分析有两个主要的方法：自顶向下的分析和自底向上的分析。

问题2答：自顶向下的分析是从文法的起始符号开始，根据语法规则逐步向下展开，直到生成最终的语法树。

常见的自顶向下的分析方法包括LL(1)分析和递归下降分析。

问题3答：自底向上的分析是从输入串开始，逐步合并词法单元，最终生成语法树。

常见的自底向上的分析方法包括LR分析和LALR分析。

第四章：语义分析问题1答：语义分析的主要任务是对语法树进行语义检查和类型推断。

语义分析阶段会检查变量的声明和使用是否合法，以及类型是否匹配等。

问题2答：常见的语义错误包括变量未声明、类型不匹配、函数调用参数不匹配等。

第5-7章课后作业（含答案）1、将文法G[S] 改写为等价的G′[S]，使G′[S]不含左递归和左公共因子。

G[S]：S→bSAe|bA A→Abd | dc | a【解】：G[S]：S→bS’S’→SAe|AA→(dc|a)A’A’→bd A’ |ε2、有文法G[S]：S→ABf A→BbS|e B→dAg|ε证明文法G是LL(1)文法，并构造预测分析表【解】：①计算FIRST、FOLLOW、SELECT集由上表可知：该文法中，所有相同左部不同右部的产生式SELECT集两两相交均为空集，所以该文法为LL(1)文法。

3、已知文法G[S]：S→(A)│a│b A→AcS│S 构造文法的算符优先矩阵，并判断该文法是否是算符优先文法。

【解】：①拓展该文法：S’→#S# S→(A)│a│b A→AcS│S②计算FIRSTVT与③计算算符优先关系：# =# ( = )# < FIRSTVT(S) ( < FIRSTVT(A) c< FIRSTVT(S)LASTVT(S) > # LASTVT(A) > ) LASTVT(A) > c④构造算符优先矩阵⑤因为该文法G为2型文法，且不含空产生式，没有形如 U …VW…的产生式，其中V,W∈V所以 G 为算符文法；又因为G 中任意两个终结符间至多有一种算N，符优先关系存在(算符优先矩阵无冲突，见上表)，所以G 为算符优先文法。

4、课后习题P122：4(2)已知文法：S→S;G|G G→G(T)|H H→a|(S) T→T+S|S求句型a(T+S);H;(S) 的短语、直接短语、句柄、素短语与最左素短语。

【解】：①该句型的对应的语法树如下：②短语： a T+S H (S) a(T+S);H a(T+S);H;(S)直接短语： a T+S H (S)句柄：a素短语： a T+S (S)最左素短语：a5. 给定文法G[A]：A→(A)│a，构造出该文法的LR(1)分析表。