编译原理作业参考答案.docx

1、编译原理作业参考答案编译原理作业参考答案作业一一、是非题1.() 2.() 3.() 4.() 5.() 6.() 7. () 8.() 9.() 10.() 11.() 12.() 13.()二、填空题1.（词法分析），（语法分析），（中间代码生成），（代码优化），（目标代码生成）2（单词符号），（语法单位）。3.（源程序），（单词符号）4.（语法），（语义）5. (词法分析)、(语法分析)、(语义分析)，(中间代码产生)，(代码优化)，(目标代码生成)6.(解释方式)7. (语法规则) 8. (上下文无关文法)9. (自上而下分析法)，(自下而上分析法)10. (规范推导)11. (最左归

2、约)三、名词解释题： 1词法分析器-执行词法分析的程序。2. 自编译方式-先对语言的核心部分构造一个小小的编译程序，再以它为工具构造一个能够编译更多语言成分的较大编译程序。如此扩展下去，就像滚雪球一样，越滚越大，最后形成人们所期待的整个编译程序。3. 遍-所谓“遍”就是对源程序或中间结果长头到尾扫描一次，并作有关的加工处理，生成新的中间结果或目标程序。4. 编译程序-一种翻译程序: 能够把某一种语言程序(称为源语言程序)转换成另一种语言(成为目标程序),而后着与前者在逻辑上是等价的。5. 超前搜索-所谓超前搜索是在词法分析过程中，有时为了确定词性，需超前扫描若干个字符。6. 短语-令G是一个文

3、法，S划文法的开始符号，假定是文法G的一个句型，如果有SA且A，则称是句型相对非终结符A的短语。7. 规范句型-由规范推导所得到的句型。8. 句柄-一个句型的最左直接短语。9. -规范推导-最右推导又称为规范推导。四、简答题： 1. 正规式 a ( a | b )*。2. (a*b|b*a)=a,b,ab,ba,aab,bba3. 状态转换图是一张有限方向图。在状态转换图中，有一个初态，至少一个终态。（用双圈表示）。一个状态转换图可用于识别（或接受）一定的字符串。4. 证明: 因为 L(b(ab)*)=b, ab, abab, ababab, =b, bab, babab, bababab,

4、L(ba)*b)=, ba, baba, bababa, b =b, bab, babab, bababab, = L(b(ab)*) 所以, b(ab)*=( ba)*b5. 正规表达式为b(a|b)*aa6. 词法分析器的功能输入源程序，按照构词规则分解成一系列单词符号。7. 词法分析是编译过程中的一个阶段，在语法分析前进行。词法分析作为一遍，可以简化设计，改进编译效率，增加编译系统的可移植性。也可以和语法分析结合在一起作为一遍，由语法分析程序调用词法分析程序来获得当前单词供语法分析使用。8. 编译预处理:滤掉空格，跳过注释、换行符等。9. 句子 adccd 的分析过程：步骤符号栈输入串产

5、生式0#Sadccd#1#ABadccd#SBA2#AAaadccd#BaA3#AAdccd#4#Addccd#Ad5#Accd#6#SBccd#ABS7#Scccd# Bc8#S cd# 9#ABcd#Bc10#Acd#11#A d#12#dd#Ad13# # 10. 一个文法G别是LL(1)文法的充要条件是: (1) FIRST() FIRST()= (2) 如果 =*, FIRST() FOLLOW(A)= 11. (1) 消除左递归SaFS | *aFSS*aFS | F+aF | +a(2) 提公共左因子 SaFS | *aFSS*aFS | F+aFFF |12. 句子b(aa)b

6、的规范归约过程：步骤符号栈输入串动作0#b(aa)b#预备1#b(aa)b#移进2#b(aa)b#移进3 #b(a a)b# 移进4#b(Aa)b#归约5 #b(Ma)b#移进6#b(Ma)b#移进7#b(B b# 归约8#bAb#归约9#bAb#移进10#S#接受五、计算题： 1. (1) 画出句型对应的语法树。句型 (S,(a) 的语法树如下图所示(2) 句子 (a,(a,a) 的最左推导S=(L)=(L,S)=(S,S)=(a,S)=(a,(L)=(a,(L,S)=(a,(S,S)=(a,(a,S)=(a,(a,a)2. GS:SA |B DDCD | AA1 | 3 | 5 | 7 |

7、 9 B2 | 4 | 6 | 8 | ACB | 03. 证明：因为文法GS存在句子aa有两个不同的最左推导，所以文法GS是是二义性的。S=SaS=SaSaS=aSaS=aaS=aa S=SaS=aS=aSaS=aaS=aa4. 所求文法是GS: SAB AaAc | D DbD | bBaBb | aabb5. 消除左递，文法变为GS：S | a | (T)TST | ST,ST |此文法无左公共左因子。 构造相应的FIRST和FOLLOW集合： FIRST(S)=a, , (， FOLLOW(S)=#, , )FIRST(T)=a, , ( ，FOLLOW(T)=FIRST(T)=, ，

8、 FOLLOW(F)=) 构造预测分析表：a(),#SSaSS(T)TTSTTSTTSTTTT,ST作业二一、是非题1.（） 2.（） 3.（） 4.（） 5.（） 6.（） 7.（） 8.（） 9.（） 10.（）二、填空题：1. (综合属性)， (继承属性)2. (语义规则)3. (综合)4. (后缀式)、(四元式)、(三元式) 、(间接三元式)5. (静态语义检查)三、名词解释题： 1. 语法制导翻译在语法分析过程中，根据每个产生式所对应的语义程序进行翻译的方法叫做语法制导翻译。2. 属性文法-属性文法是在上下文无关文法的基础上,为每个文法符号(终结符或非终结符)配备相关的“值”（称为属

9、性）。这些属性代表与文法相关信息。3. 语义规则-对于文法的每一个产生式都配置了一组属性的计算规则，称为语义规则。4. 综合属性-在语法树中，一个结点的综合属性的值由其子结点的属性值确定。通常使用自底向上的方法在每一个结点处使用语义规则计算综合属性的值。5. 继承属性-在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定。6. 素短语-素短语是指这样一个短语，至少含有一个终结符，并且，除它自身外不再含任何更小的素短语。四、简答题： 1. 静态语义检查通常包括：（1）类型检查；如果操作符作用于不相容的操作数,编译程序必须报告出错信息。 (2) 控制流检查；控制流语句必须使控

10、制转移到合法的地方，如果不存在包括它的这样的语句，应报错。(3) 一致性检查；在很多场合要地象只能被定义一次。(4) 相关名字检查。同一名字必须出现两次或多次。2. 程序可以直接翻译为目标语言代码,但是许多编译程序却采用了独立于机器的、复杂性介于源语言和机器语言之间的中间语言.这样的好处是：(1)无关的代码优化工作；(2)程序改变目标机更容易；(3)程序的结构在逻辑上更为简单明确，以中间语言为界面,编译前端和后端的接口更清晰。3. 符号表中信息栏中登记了每个名字的有关的性质，如类型、种属、所占单元大小、地址等等。4. 在整个编译期间，对于符号表的操作大致可归纳为五类：(1) 对给定名字，查询名

11、字是否已在表中；(2) 往表中填入一个新的名字；(3) 对给定名字，访问它的某些信息；(4) 对给定名字，填写或更新它的某些信息；(5) 删除一个或一组无用的项。5. 符号表的组织方式： (1) 符号表最简单的组织方式是让各项各栏所占的存储单元的长度都是固定的。这种项栏长度固定的表格易于组织、填写和查找。但是，有许多语言对标识符的长度几乎不加限制，或者说，标识符的长度范围甚宽。如果每项长度固定，则势必会大量浪费存储空间。 改进的方法：用一个独立的字符串数组，把所有标识符都存放在其中。在符号表的主栏放一个指示器和一个整数，指示器指出标识符在字符中的数组的位置；整数代表此标识符的长度。(2) 把一

12、些共同属性直接登记在符号表的信息栏中，而把某些特殊属性登记在别的地方，并在信息栏中附设一指示器，指向存放特殊属性的地方。对于数组标识符,需要存储的信息有维数等等，如果将它们与其它名字全部集中在一张符号表中，处理起来很不方便.因此常常采用以下方式:即专门开辟一个信息表区，称为数组信息表 (或内情向量表)，将数组的有关信息全部存入此表中。在符号表的地址栏中存入符号表与内情向量表连接的入口地址(即指针)。6. (1) E=E+T=T+T=T*F+T=F*F+T=(E)*F+T=(E+T)*F+T=(T+T)*F+T =(F+T)*F+T=(i+T)*F+T=(i+F)*F+T=(i+i)*F+T=(

13、i+i)*i+T =(i+i)*i+F=(i+i)*i+i (2) 短语 i, F, E+T, (E+T), (E+T)*i, (E+T)*i+F 素短语 i, E+T最左素短语 E+T五、计算题： 1.句子acab对应的语法树为：因此，输入acab, 输出是4231。2. 对D，L，T设置综合属性type。过程addtype(name，type) 用来把名字name 填入到符号表中，并给出此名字的类型type。翻译方案如下：Did L addtype(id.name, L.typeL, id L (1) addtype(id.name, L(1).type)L.type:=L(1).type

14、L: T L.type:=T.typeTinteger T.type:=integerTreal T.type:=real3. 波兰式 abc+e*bc+f/+:=三元序列 op arg1 arg2 (1) + b c (2) * (1) e (3) + b c (4) / (3) f (5) + (2) (4) (6) := a (5) 4. (1）Cif E thenSCS(1) (2) Cif E then BACK(E.TC, NXQ); C.chain:=E.FC SCS(1) S.chain:=MERG(C.Chain, S(1). Chain)5. (1) (j, c, 0, (

15、5)(4) (j, _, _, (8)(5) (+, a, 1, T1)(6) (:=, T1, _, a)(7) (j, _, _, (1)(8) (*, a, 13, T2)(9) (-, T2, 1, T3)(10) (:=, T3, _, a)(11) (j, _, _, (1)(12) 6. (1）Sdo M1 S1 while M2 EM (2)M M.quad=nestquad;Sdo M1 S1 while M2 E backpatch(s1.nextlist, M2.quad); backpatch(E.truelist, M1.quad); S.nextlist=E.fal

16、elist; 7. (1) (j, X, 0, (5)(2) (j, _, _, (3)(3) (j0, X, 0, (7)(6) (j, _, _, (7)(7) (*, A, 3, T1)(8) (:=, T1, _, N)(9) (j, _, _, (5)(10) (j, _, _, (13)(11) (+, B, 3, T2)(12) (:=, T2, _, Y)8. (1) 计算FIRSTVT 和LASTVT集合 FIRSTVT(S)=a, ( FIRSTVT(T)=+, aa, ( LASTVT(S)=a, ) LASTVT(T)=+, a, ) (2) 构造优先关系表 a + (

17、 ) a . .+ ( . . . .作业三一、是非题1.() 2. () 3. ()4. (）5. ()二、填空题1. (现行活动记录地址和所有外层最新活动记录的地址)2. (栈式)，（堆式）3.（传地址），（传值），（传名）4.（局部优化），（循环优化），（全局优化）5. （局部优化）三、名词解释题： 1. DISPLAY表-过程的嵌套层次显示表，记录该过程的各外层过程的最新活动记录的起始地址。2. 待用信息-如果在一个基本块中，四元式i对A定值，四元式j要引用A值，而从i到j之间没有A的其它定值，则称j是四元式i的变量A的待用信息。3. 活动记录-为了管理过程在一次执行中所需要的信息，使

18、用一个连续的存储区来管理，这个区 (块) 叫做一个活动记录。4. 静态链-使用静态链指针，该指针指向直接外层的最新活动记录的地址。形成一条链，称为静态链。5. 优化-所谓代码优化就是对程序进行各种等价变换，使得从变换后的程序出发, 能生成更有效的目标代码。四、简答题： 1. 每个过程的活动记录的体积在编译时可静态确定。2. 现行活动记录地址和所有外层最新活动记录的地址3. 常用的动态存贮分配办法是栈式动态存贮分配，堆式动态存贮分配。5. 设法跟踪每个外层过程的最新活动记录的位置。主要跟踪的方法 (1) 静态链 (2) DISPLAY表5. 绝对地址=活动记录基地址+相对地址6. 传值 A=2,

19、 B=4 传地址 A=6, B=167. 传值 a=5传地址 a=128. 编译程序为了组织存储空间,必须考虑下面几个问题: (1) 过程是否允许递归? (2) 当控制从一个过程的活动返回时,对局部名称的值如何处理? (3) 过程是否允许引用非局部名称? (3) 过程调用时如何传递参数;过程是否可以做出为参数被传递和做为结果被返回? (4) 存储空间可否在程序控制下进行动态分配? (5) 存储空间是否必须显式地释放?9. 通过DISPLAY表访问非局部变量要比沿着静态链访问非局部变量的速度快，因为通过DISPLAY表的一个域，可以确定任意活动记录的指针，再沿着这个指针可找到处于外层活动记录的非

20、局部变量。五、计算题： 1. 优化后的四元序列D:=A-CE:=A*CF:=D*EM:=F+202. 划分为B1、B2、B3和B4基本块。 (1) J:=1 (2) A:=0 (3) R:=I-1 B1 (4) C:=B+J (5) A:=C*A (6) if J=20 goto (9) B2 (7) J:=J+1 (8) goto (3) B3 (9) B4 3. 优化后的四元序列T2:=A+BT3:=A*BT4:=T2+T3X:=3*T4Y:=T2+154. 该基本块的目标代码如下： LD R0, B SUB R0, C LD R1, A MUL R1, R0 LD R0, D ADD R0, 1 ST R1, T2 LD R1, E SUB R1, F MUL R0, R1 LD R1, T2 DIV R1, R0 ST R1, W5. 该基本块的目标代码如下：LD R0, A ADD R0, B LD R1, C SUB R1, R0 LD R0, D ADD R0, E SUB R0, R1 ST R0, T4