收藏 分享(赏)

编译原理期末试题及答案.doc

上传人:精品资料 文档编号:10548093 上传时间:2019-11-27 格式:DOC 页数:45 大小:1.57MB
下载 相关 举报
编译原理期末试题及答案.doc_第1页
第1页 / 共45页
编译原理期末试题及答案.doc_第2页
第2页 / 共45页
编译原理期末试题及答案.doc_第3页
第3页 / 共45页
编译原理期末试题及答案.doc_第4页
第4页 / 共45页
编译原理期末试题及答案.doc_第5页
第5页 / 共45页
点击查看更多>>
资源描述

1、第 1 页共 6 页编译原理期末试题(一)一、是非题(请在括号内,正确的划,错误的划)(每个 2 分,共 20 分)1编译程序是对高级语言程序的解释执行。( )2一个有限状态自动机中,有且仅有一个唯一的终态。()3一个算符优先文法可能不存在算符优先函数与之对应。 ( )4语法分析时必须先消除文法中的左递归 。 ()5LR 分析法在自左至右扫描输入串时就能发现错误,但不能准确地指出出错地点。 ()6逆波兰表示法表示表达式时无须使用括号。 ( )7静态数组的存储空间可以在编译时确定。 ()8进行代码优化时应着重考虑循环的代码优化,这对提高目标代码的效率将起更大作用。 ()9两个正规集相等的必要条件

2、是他们对应的正规式等价。 ( )10一个语义子程序描述了一个文法所对应的翻译工作。 ()二、选择题(请在前括号内选择最确切的一项作为答案划一个勾,多划按错论)( 每个 4 分,共 40 分)1词法分析器的输出结果是_。A( ) 单词的种别编码 B( ) 单词在符号表中的位置 C( ) 单词的种别编码和自身值 D ( ) 单词自身值2 正规式 M 1 和 M 2 等价是指_。 A( ) M1 和 M2 的状态数相等 B( ) M1 和 M2 的有向边条数相等C( ) M1 和 M2 所识别的语言集相等 D ( ) M1 和 M2 状态数和有向边条数相等 3 文法 G:SxSx|y 所识别的语言是

3、_。A( ) xyx B( ) (xyx)* C( ) xnyxn(n0) D( ) x*yx* 4如果文法 G 是无二义的,则它的任何句子 _。A( ) 最左推导和最右推导对应的语法树必定相同 第 2 页共 6 页B( ) 最左推导和最右推导对应的语法树可能不同 C( ) 最左推导和最右推导必定相同 D( ) 可能存在两个不同的最左推导,但它们对应的语法树相同 5构造编译程序应掌握_。A( ) 源程序 B( ) 目标语言 C( ) 编译方法 D( ) 以上三项都是 6四元式之间的联系是通过_实现的。 A( ) 指示器 B( ) 临时变量 C( ) 符号表 D( ) 程序变量 7表达式(AB)

4、(CD) 的逆波兰表示为_。A. ( ) AB CD B ( ) ABCD C( ) ABCD D ( ) ABCD 8. 优化可生成_的目标代码。A( ) 运行时间较短 B( ) 占用存储空间较小C( ) 运行时间短但占用内存空间大 D ( ) 运行时间短且占用存储空间小9下列_优化方法不是针对循环优化进行的。A. ( ) 强度削弱 B( ) 删除归纳变量 C( ) 删除多余运算 D( ) 代码外提10编译程序使用_区别标识符的作用域。 A. ( ) 说明标识符的过程或函数名B( ) 说明标识符的过程或函数的静态层次C( ) 说明标识符的过程或函数的动态层次 D. ( ) 标识符的行号三、填

5、空题(每空 1 分,共 10 分)1计算机执行用高级语言编写的程序主要有两种途径:_解释_和_编译_。 2扫描器是_词法分析器_,它接受输入的_源程序_,对源程序进行_词法分析_并识别出一个个单词符号,其输出结果是单词符号,供语法分析器使用。3自上而下分析法采用_移进_、归约、错误处理、_接受_等四种操作。第 3 页共 6 页4一个 LR 分析器包括两部分:一个总控程序和 _一张分析表_。5后缀式 abc-/所代表的表达式是_a/(b-c)_。 6局部优化是在_基本块_范围内进行的一种优化。四、简答题(20 分)1. 简要说明语义分析的基本功能。答:语义分析的基本功能包括: 确定类型、类型检查

6、、语义处理和某些静态语义检 查。2. 考虑文法 GS: S (T) | a+S | a T T,S | S 消除文法的左递归及提取公共左因子。解:消除文法 GS的左递归: S(T) | a+S | a TST T,ST| 提取公共左因子: S(T) | aS S+S | TST T,ST| 3. 试为表达式 w+(a+b)*(c+d/(e-10)+8) 写出相应的逆波兰表示。解: w a b + c d e 10 - / + 8 + * +4. 按照三种基本控制结构文法将下面的语句翻译成四元式序列:while (AaAd|aAb| 第 5 页共 6 页判断该文法是否是 SLR(1) 文法,若是

7、构造相应分析表,并对输入串 ab# 给出分析过程。解:增加一个非终结符 S/后,产生原文法的增广文法有: S-A A-aAd|aAb| 下面构造它的 LR(0)项目集规范族为: 从上表可看出,状态 I0 和 I2 存在移进-归约冲突,该文法不是 LR(0)文法。对于 I0 来说有:FOLLOW(A)a=b,d,#a=,所以在 I0 状态下面临输入符号为 a 时移进,为 b,d,#时归约,为其他时报错。对于 I2 来说有也有与 I0 完全相同的结论。这就是说,以上的移进 -归约冲突是可以解决的,因此该文法是 SLR(1)文法。 其 SLR(1)分析表为: 第 6 页共 6 页对输入串 ab#给出

8、分析过程为: 编译原理期末试题(二)一、是非题:1.一个上下文无关文法的开始符,可以是终结符或非终结符。 ( )2.一个句型的直接短语是唯一的。 ( )3.已经证明文法的二义性是可判定的。 ( )4.每个基本块可用一个 DAG 表示。 ( )5.每个过程的活动记录的体积在编译时可静态确定。 ( )6.2 型文法一定是 3 型文法。 ( )7.一个句型一定句子。 ( )8.算符优先分析法每次都是对句柄进行归约。 X ( )9.采用三元式实现三地址代码时,不利于对中间代码进行优化。 ( )10.编译过程中,语法分析器的任务是分析单词是怎样构成的。 ( )11.一个优先表一定存在相应的优先函数。 X

9、 ( )12.目标代码生成时,应考虑如何充分利用计算机的寄存器的问题。 ( )13.递归下降分析法是一种自下而上分析法。 ( )14.并不是每个文法都能改写成 LL(1)文法。 ( )15.每个基本块只有一个入口和一个出口。 ( )16.一个 LL(1)文法一定是无二义的。 ( )17.逆波兰法表示的表达试亦称前缀式。 ( )第 7 页共 6 页18.目标代码生成时,应考虑如何充分利用计算机的寄存器的问题。 ( )19.正规文法产生的语言都可以用上下文无关文法来描述。 ( )20.一个优先表一定存在相应的优先函数。 ( )21.3 型文法一定是 2 型文法。 ( )22.如果一个文法存在某个句

10、子对应两棵不同的语法树,则文法是二义性的。 ( )答案:1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22.二、填空题:2.编译过程可分为 ( 词法分析) , (语法分析) , (语义分析与中间代码生成 ) , (优化)和(目标代码生成 )五个阶段。3.如果一个文法存在某个句子对应两棵不同的语法树,则称这个文法是( 二义性的 ) 。 4.从功能上说,程序语言的语句大体可分为( 执行性 )语句和(说明性 )语句两大类。5.语法分析器的输入是( 单词符号 ) ,其输出是( 语法单位 ) 。6.扫描

11、器的任务是从( 源程序中 )中识别出一个个( 单词符号 ) 。7.符号表中的信息栏中登记了每个名字的有关的性质,如(类型、种属、所占单元大小、地址)等等。8.一个过程相应的 DISPLAY 表的内容为(现行活动记录地址和所有外层最新活动记录的地址)10.常用的两种动态存贮分配办法是(栈式)动态分配和(堆式)动态分配。11.一个名字的属性包括( 类型)和(作用域 )。12.常用的参数传递方式有(传地址) , (传值) , (传名)13.根据优化所涉及的程序范围,可将优化分成为(局部优化) , (循环优化) , (全局优化)三个级别。14.语法分析的方法大致可分为两类,一类是( 自上而下 )分析法

12、,另一类是( 自下而上 )分析法。15.预测分析程序是使用一张( 分析表 )和一个( 符号栈 )进行联合控制的。17.一张转换图只包含有限个状态,其中有一个被认为是(初)态;而且实际上至少要有一个(终 )态。19.语法分析是依据语言的(语法 )规则进行。中间代码产生是依据语言的(语义)规则进行的。21.一个文法 G,若它的预测分析表 M 不含多重定义,则该文法是(LL(1) 文法)文法。第 8 页共 6 页22.对于数据空间的存贮分配, FORTRAN 采用( 静态策略, PASCAL 采用( 动态)策略。24.最右推导亦称为(规范推导) ,由此得到的句型称为(规范)句型。26.对于文法 G,

13、仅含终结符号的句型称为 ( 句子 )。27.所谓自上而下分析法是指(从开始符号出发,向下推导,推出句子)29.局限于基本块范围的优化称( 局部优化 ) 。31.2 型文法又称为(上下文无关)文法;3 型文法又称为(正则 )文法。32.每条指令的执行代价定义为(指令访问主存次数加 1)33.算符优先分析法每次都是对(最左素短语)进行归约。四、简答题:1.写一个文法 G, 使其语言为 不以 0 开头的偶数集。2.已知文法 G(S)及相应翻译方案SaAb print “1”Sa print “2”AAS print “3”Ac print “4”输入 acab, 输出是什么?3. 已知文法 G(S)

14、SbAaA(B | aBAa)写出句子 b(aa)b 的规范归约过程。4. 考虑下面的程序:procedure p(x, y, z);beginy:=x+y;z:=z*z;endbeginA:=2;B:=A*2;P(A, A, B);Print A, Bend.试问,若参数传递的方式分别采用传地址和传值时,程序执行后输出 A, B 的值是什么? 5文法 G(S)SdABAaA| aBBb| 描述的语言是什么?6. 证明文法 G(S)SSaS| 是二义性的。第 9 页共 6 页7. 已知文法 G(S)SBAABS| dBaA| bS | c的预测分析表如下a b c d #S SBA SBA S

15、BAA ABS ABS ABS AdB BaA BbS Bc给出句子 adccd 的分析过程。8. 写一个文法 G, 使其语言为 L(G)=a lbmclanbn| l=0, m=1, n=2 9. 已知文法 G(S):Sa| (T)TT,S|S的优先关系表如下:关系 a ( ) ,a - - . .( ., .请计算出该优先关系表所对应的优先函数表。10. 何谓优化?按所涉及的程序范围可分为哪几级优化?11. 目标代码有哪几种形式?生成目标代码时通常应考虑哪几个问题?12. 一字母表 =a, b,试写出 上所有以 a 为首的字组成的正规集相对应的正规式。13. 基本的优化方法有哪几种?14.

16、 写一个文法 G, 使其语言为 L(G)=ab ncn| n015. 考虑下面的程序:procedure p(x, y, z);beginy:=y+z;z:=y*z+xend;begina:=2;b:=3;p(a+b, b, a);print aend.试问,若参数传递的方式分别采用传地址和传值时,程序执行后输出 a 的值是什么? 16.写出表达式 ab*(c-d)/e 的逆波兰式和三元序列。17.证明文法 G(A)第 10 页共 6 页AAA | (A)| 是二义性的。18.令 =a,b,则正规式 a*b|b*a 表示的正规集是什么?19.何谓 DISPLAY 表?其作用是什么?20.考虑下

17、面的程序:procedure p(x, y, z);beginy:=y+2;z:=z+x;endbegina:=5;b:=2;p(a+b, a-b, a);print aend.试问,若参数传递的方式分别采用传地址和传值时,程序执行后输出 a 的值是什么? 21.写一个文法 G, 使其语言为 L(G)=a nbncm| n0 为奇数, m0 为偶数22.写出表达式 a:=(b+c)*e+(b+c)/f 的逆波兰式和三元序列。23.一个文法 G 别是 LL(1)文法的充要条件是什么?24.已知文法 GSSS*aF | aF | *aFF+aF | +a消除文法左递归和提公共左因子。25.符号表的

18、作用是什么?符号表查找和整理技术有哪几种?答案:1.所求文法是 GS:SAB |B A0AAD |CB2 |4 |6 |8C1 |3 |5 |7 |9 |BD0 |C2.输出是 42313.句子 b(aa)b 的规范归约过程:步骤 符号栈 输入串 动作0 # b(aa)b# 预备1 #b (aa)b# 移进2 #b( aa)b# 移进3 #b(a a)b# 移进4 #b(A a)b# 归约5 #b(Ma )b# 移进6 #b(Ma) b# 移进7 #b(B b# 归约第 11 页共 6 页8 #bA b# 归约9 #bAb # 移进10 #S # 接受4.传地址 A=6, B=16传值 A=2

19、, B=45.L(G)=danbm |n0, m06.证明: 因为文法 GS存在句子 aa 有两个不同的最左推导,所以文法 GS是是二义性的。S=SaS=SaSaS=aSaS=aaS=aaS=SaS=aS=aSaS=aaS=aa7.句子 adccd 的分析过程:步骤 符号栈 输入串 产生式0 #S adccd#1 #AB adccd# SBA2 #AAa adccd# BaA3 #AA dccd#4 #Ad dccd# Ad5 #A ccd#6 #SB ccd# ABS7 #Sc ccd# Bc8 #S cd# 9 #AB cd# Bc10 #Ac d#11 #A d#12 #d d# Ad1

20、3 # # 8.所求文法是 GS: SABAaAc | DDbD | bBaBb | aabb9.函数 a ( ) ,f 4 2 4 4g 5 5 2 310.优化:对程序进行各种等价变换,使得从变换后的程序出发,能产生更有效的目标代码。三种级别:局部优化、循环优化、全局优化11.目标代码通常采用三种形式:机器语言,汇编语言,待装配机器语言模块。应着重考虑的问题:(1)如何使生成的目标代码较短;(2)如何充分利用寄存器,以减少访问内存次数;第 12 页共 6 页(3)如何充分利用指令系统的特点。12.正规式 a ( a | b )*。13.删除多余运算,代码外提,强度削弱,变换循环控制条件,合

21、并已知量,复写传播和删除无用赋值。14.文法 GS:SaB | aBbc |bBc15.传值 a=2传地址 a=1516.逆波兰式: abcd-*e/+三元序列: op arg1 arg2(1) - c d(2) * b (1)(3) / (2) e(4) + a (3)17.证明:因为文法 GS存在句子 () 有两个不同的最左推导,所以文法 GS是是二义性的。A=AA=(A)A=()A=()A=AA=A=(A)=()18.(a*b|b*a)=a,b,ab,ba,aab,bba19.Display 表: 嵌套层次显示表由于过程嵌套允许内层过程引用外层过程定义的数据,因此,当一个过程运行时必须跟

22、踪它的所有外层过程的最新活动记录起始地址, display 表就是用于登记每个外层过程的最新活动记录起始地址。20.传地址 a=12传值 a=521.所求文法是 GS: SACAaaAbb | abCccC | cc22.逆波兰式 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) 23.一个文法 G 别是 LL(1)文法的充要条件是:(1) FIRST() FIRST()=(2) 如果 = *, FIRST() FOLLOW(A)= 24.消除左递归S

23、aFS | *aFSS*aFS | 第 13 页共 6 页F+aF | +a提公共左因子,文法 G(S) SaFS | *aFSS*aFS | F+aFFF |25.作用:登记源程序中出现的各种名字及其信息,以及了解各阶段的进展状况。主要技术:线性表,对折查找,杂奏技术。五、计算题:1.设文法 G(S):S | a | (T)TT,S | S 消除左递归; 构造相应的 FIRST 和 FOLLOW 集合; 构造预测分析表 2.语句 if E then S(1) 改写文法,使之适合语法制导翻译; (2) 写出改写后产生式的语义动作。 4.设某语言的 for 语句的形式为for i:E (1) t

24、o E(2) do S其语义解释为i:E (1)LIMIT:E (2)again: if iLIMIT thenBeginS;i:i1goto againEnd;(1)写出适合语法制导翻译的产生式;(2)写出每个产生式对应的语义动作。5.把语句while a0 then a:=a+1else a:=a*3-1;翻译成四元式序列。6.设有基本块D:=A-CE:=A*CF:=D*ES:=2T:=A-CQ:=A*C第 14 页共 6 页G:=2*SJ:=T*QK:=G*5L:=K+JM:=L假设基本块出口时只有 M 还被引用,请写出优化后的四元序列。7.已知文法 G(S)Sa | | (T)TT,S

25、 | S(1) 给出句子(a,(a,a)的最左推导;(2) 给出句型(T,S),a)的短语, 直接短语,句柄。8.对于 C 语言 do S while E 语句(1)改写文法,使之适合语法制导翻译;(2)写出改写后产生式的语义动作。9.已知文法 G(S)SaAcBeAAb| bBd(1)给出句子 abbcde 的最左推导及画出语法树;(2)给出句型 aAbcde 的短语、素短语。 10.设文法 G(S): S(T) | aS | aTT,S | S消除左递归和提公共左因子;构造相应的 FIRST 和 FOLLOW 集合;构造预测分析表。11.把语句if X0 Y0 do X:=A*3else

26、Y:=B+3;翻译成四元式序列。12.已知文法 G(S)EE+T | TTT*F| FF(E)| i(1) 给出句型 (i+i)*i+i 的最左推导及画出语法树;(2) 给出句型 (E+T)*i+F 的短语,素短语和最左素短语。 (1)消除左递,文法变为 GS:S | a | (T)TST | ST,ST |此文法无左公共左因子。(2)构造相应的 FIRST 和 FOLLOW 集合: FIRST(S)=a, , (, FOLLOW(S)=#, , )第 15 页共 6 页FIRST(T)=a, , ( ,FOLLOW(T)=FIRST(T)=, ,FOLLOW(F)=)(3)构造预测分析表:a

27、 ( ) , #S Sa S S(T)T TST TST TSTT T T,ST2. (1)Cif E thenSCS (1)(2)Cif E then BACK(E.TC, NXQ); C.chain:=E.FCSCS (1) S.chain:=MERG(C.Chain, S(1). Chain)4. (1) Ffor i:=E (1) to E(2) doSFS (1)(2) Ffor i:=E (1) to E(2) doGEN(:=, E(1).place, _, entry(i);F.place:=entry(i);LIMIT:=Newtemp;GEN(:=, E(2).place,

28、 _, LIMIT);Q:=NXQ;F.QUAD:=q;GEN(j, entry(i), LIMIT, q+2)F.chain:=NXQ;GEN(j, _, _, 0)SFS (1)BACKPATCH(S(1).chain, NXQ);GEN(+, F.place, 1, F.place);GEN(j, _, _, F.QUAD);S.chain:=F.chain5. (1) (j, c, 0, (5)(4) (j, _, _, (8)(5) (+, a, 1, T1)(6) (:=, T1, _, a)(7) (j, _, _, (1)(8) (*, a, 13, T2)(9) (-, T2

29、, 1, T3)(10)(:=, T3, _, a)(11)(j, _, _, (1)6.优化后的四元序列D:=A-C第 16 页共 6 页E:=A*CF:=D*EM:=F+207. 最左推导S=(T)=(T,S)=(S,S)=(a,S)=(a,(T)=(a,(T,S)=(a,(S,S)=(a,(a,S)=(a,(a,a)短语(T,S),a)(T,S),a(T,S)T,Sa直接短语T,Sa句柄T,S8.(1)Sdo M 1 S1 while M2 EM(2)M M.quad=nestquad;Sdo M 1 S1 while M2 E backpatch(s1.nextlist, M2.qua

30、d);backpatch(E.truelist, M1.quad);S.nextlist=E.falelist;9.(1) S=aAcBe=AAbcBe=abbcBe=abbcde(2) 短语: aAbcde, Ab, d素短语: Ab, d10.(1) S (L) | aSSS |LSLL,SL |(2) FIRST(S)=a, ( FIRST(S)=a, (, FIRST(L)=a, ( FIRST(L)=, FOLLOW(S)=, ), # FOLLOW(S)=, ), #FOLLOW(L)= ) FOLLOW(L)= )(3)( ) a , #S S (L) S aSS SS S SS

31、 S SL LSL LSL L,SLL L第 17 页共 6 页11.(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)12.(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=(

32、i+i)*F+T=(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、描述由正规式 b*(abb*)*(a| )定义的语言,并画出接受该语言的最简 DFA。2、证明文法 E E + id | id 是 SLR(1)文法。3、下面是表达式和赋值语句的文法,其中 and 的类型是 bool bool bool,+的类型是int int int,= 的类型是 int int bool,:= 要求 id 和 E 的类型都是 int 或者都是boo

33、l。为该文法写一个语法制导定义或翻译方案,它完成类型检查。S id := EE E and E | E + E | E = E |id4、对于下面 C 语言文件 s.c f1(int x)long x;x = 1;f2(int x)long x;x = 1;某编译器编译时报错如下:s.c: In function f1:第 18 页共 6 页s.c:3: warning: declaration of x shadows a parameter请回答,对函数 f2 为什么没有类似的警告错误。5、下面 C 语言程序经非优化编译后,若运行时输入 2,则结果是area=12.566360, addr

34、=-1073743076经优化编译后,若运行时输入 2,则结果是area=12.566360, addr=-1073743068请解释为什么输出结果有区别。main()float s, pi, r;pi=3.14159;scanf(“%f“, printf(“area=%f, addr=%dn“, s=pi*r*r, 6、描述由正规式 ba(bba) b定义的语言,并画出接受该语言的最简 DFA。7、下面的文法产生代表正二进制数的 0 和 1 的串集:B B 0 | B 1 | 1下面的翻译方案计算这种正二进制数的十进制值:B B1 0 B.val := B1.val 2 | B1 1 B.v

35、al := B1.val 2 +1| 1 B.val := 1 请消除该基础文法的左递归,再重写一个翻译方案,它仍然计算这种正二进制数的十进制值。8、 在 C 语言中,如果变量 i 和 j 都是 long 类型,请写出表达式printf(“%dn”, 9、一个 C 语言的函数如下:func(i) long i; long j;j = i 1;func(j);下面左右两边的汇编代码是两个不同版本 GCC 编译器为该函数产生的代码。左边的代码在调用 func 之前将参数压栈,调用结束后将参数退栈。右边代码对参数传递的处理方式没有实质区别。请叙述右边代码对参数传递的处理方式并推测它带来的优点。fun

36、c: | func:pushl %ebp | pushl %ebpmovl %esp, %ebp | movl %esp, %ebpsubl $4, %esp | subl $8, %esp第 19 页共 6 页movl 8(%ebp), %edx | movl 8(%ebp), %eaxdecl %edx | decl %eaxmovl %edx, -4(%ebp) | movl %eax, -4(%ebp)movl -4(%ebp), %eax | movl -4(%ebp), %eaxpushl %eax | movl %eax, (%esp)call func | call funca

37、ddl $4, %esp | leaveleave | retret |1、由正规式 b*(abb*)*(a| )定义的语言是字母表a, b上不含子串 aa 的所有串的集合。最简 DFA 如下:2、先给出接受该文法活前缀的 DFA 如下:I0 和 I3 都只有移进项目,肯定不会引起冲突;I 2 和 I4 都无移进项目并仅含一个归约项目,也肯定不会引起冲突;在 I1 中,E 的后继符号只有$,同第 2 个项目的展望符号“+”不一样,因此 I1 也肯定不会引起冲突。由此可以断定该文法是 SLR(1)的。3、语法制导定义如下。S id := E S.type := if (id.type = boo

38、l and E.type = bool) or (id.type = int and E.type = int)then type_ok else type_error E E1 and E2 E.type := if E1.type = bool and E2.type = bool then bool else type_error E E1 + E2 E.type := if E1.type = int and E2.type = int then int else type_error E E1 = E2 E.type := if E1.type = int and E2.type =

39、 int then bool else type_error E id E.type := lookup(id.entry) 4、对于函数 f1,局部变量 x 声明的作用域是整个函数体,导致在函数体中不可能访问形式参数 x。由于这是一个合法的 C 语言函数,因此编译器给出警告错误。对于函数 f2,由于局部变量 x 的作用域只是函数体的一部分,不会出现上述问题,因E EE E + idE idI0E EE E+ idI1E idI2Eid+E E +idI3E E + idI4idstart 1 abb2第 20 页共 6 页而编译器不报错。5、使用非优化编译时,变量 s, pi, r 在局部数

40、据区都分配 4 个字节的空间。使用优化编译时,由于复写传播,pi*r*r 变成 3.14159*r*r,pi=3.14159 成为无用赋值而删去,函数中不再有pi 的引用,因此不必为 pi 分配空间。类似地,s=3.14159*r*r 也是一个无用赋值(表达式要计算,但赋值是无用的) ,也不必为 s 分配空间。这样,和非优化情况相比,局部数据区少了 8 个字节, 因此 r 的地址向高地址方向移动了 8 个字节。6、正规式 ba(bba) b体现的特点是,每个 a 的左边都有若干 b,除非 a 是第一个字母。该正规式定义的语言是:至少含一个 a,但不含子串 aa 的所有 a 和 b 的串集。最简

41、 DFA 如下:7、 消除左递归后的文法:B 1 BB 0 B | 1 B | 相应的翻译方案如下:B 1 B.i := 1 BB.val := B.valB 0 B1.i := B.i 2 B1 B.val := B1.val| 1 B1.i := B.i 2 +1 B1 B.val := B1.val| B.val := B.i8、表达式&i 的类型表达式是 pointer(long),表达式&i &j 的类型表达式是 long。按照 C 语言的规定,指向同一个类型的两个指针可以相加减,它们值的差是它们之间的元素个数。9、左边的编译器版本:一般只为局部变量分配空间。调用函数前,用若干次 p

42、ushl 指令将参数压栈,返回后用 addl $n, %esp 一次将所有参数退栈(常数 n 根据调用前做了多少次pushl 来决定) 。右边的编译器版本:除了为局部变量分配空间外,同时还为本函数中出现的函数调用的参数分配空间,并且参数所用空间靠近栈顶。调用函数前,用 movl 指令将参数移入栈顶,调用结束后无需参数退栈指令。优点是每次函数调用结束后不需要执行 addl $n, %esp 指令,另外增加优化的可能性。编译原理期末试题(三)1、 从优化的范围的角度,优化可以分哪两类?对循环的优化可以有哪三种?答:从优化的范围的角度,优化可以分为局部优化和全局优化两类;对循环的优化有三种:循环不变

43、表达式外提、归纳变量删除与计算强度削减。2、写出表达式 a=b*c+b*d 对应的逆波兰式、四元式序列和三元式序列。 start2 abb10ab第 21 页共 6 页答:逆波兰式: abc*bd*+:= 四元式序列: 三元式序列: OP ARG1 ARG2(1) (*, b, c, t 1) (1) (* b, c )(2) (*, b, d, t 2) (2) (* b, d )(3) (+, t1, t 2,t 3) (3) (+ (1), (2)(4) (:=, t3, /, a) (4) (:= (3), a)3、对于文法 G(S): )Ma L|(S答:1) bMaLbS)(2)

44、短语: Ma), (Ma), b(Ma)b直接短语: Ma) 句柄: Ma)三、 设有字母表a,b上的正规式 R=(ab|a)*。 解:(1)0 123baa - +(2)将(1)所得的非确定有限自动机确定化 a b-0 11 3 122 1+30 12aaba-+(3)对(2)得到的 DFA 化简,合并状态 0 和 2 为状态 2:a b-+013 123+123 123 13+13 123Sb M( TM abL)第 22 页共 6 页12aab-+(4)令状态 1 和 2 分别对应非终结符 B 和 AG: AaB|a|; BaB|bA|a|b|;可化简为:G: AaB|;BaB|bA|四、 设将文法 G 改写成等价的 LL(1)文法,并构造预测分析表。 G:SS*aT|aT|*aT; T+aT|+a解:消除左递归后的文法 G: SaTS|*aTSS*aTS|T+aT|+a 提取左公因子得文法 G:SaTS|*aTSS*aTS|T+aTTT| Select(SaTS)=aSelect(S*aTS)=*Select(SaTS) Select(S*aTS)=Select(S*aTS)=*Select(S)=Follo

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 企业管理 > 管理学资料

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:道客多多官方知乎号:道客多多

经营许可证编号: 粤ICP备2021046453号世界地图

道客多多©版权所有2020-2025营业执照举报