哈工大编译原理模拟试题.doc

编译原理模拟试题一、是非题(下列各题，你认为正确的，请在题干的括号内打“ ”，错的打“×”)1、算符优先关系表不一定存在对应的优先函数。（ ）2、数组元素的地址计算与数组的存储方式有关。（ ）3、仅考虑一个基本块，不能确定一个赋值是否真是无用的。（ ）4、每个文法都能改写为LL(1)文法。（ ）5、对于数据空间的存贮分配，FORTRAN采用动态贮存分配策略。（ ）二、填空题1、从功能上说，程序语言的语句大体可分为（ ）语句和（ ）语句两大类。2、扫描器的任务是从（ ）中识别出一个个（ ）。3、所谓最右推导是指：（ ）。4、语法分析最常用的两类方法是（ ）和（ ）分析法。5、一个上下文无关文法所含四个组成部分是（ ）。6、所谓语法制导翻译方法是（ ）。7、符号表中的信息栏中登记了每个名字的有关的性质，如（ ）等等。8、一个过程相应的DISPLAY表的内容为（ 现行活动记录地址和所有外层最新活动记录的地址）。9、常用的两种动态存贮分配办法是（ ）动态分配和（ ）动态分配。10、产生式是用于定义（ ）的一种书写规则。三、名词解释1、遍2、无环路有向图(DAG)3、语法分析4、短语5、后缀式四、简述题1、考虑下面程序Var a：integer；Procedure S(X)；Var X：integer；Begina：a1；X：aXEnd；Begina：5；S(a)；Print(a)End试问：若参数传递方式分别采取传名和传值时，程序执行后输出a的值是什么？2、画出C+中实数(不带正负号，可带指数部分)的状态转换图。3、写出表达式(ab*c)/(ab)d的逆波兰表示及三元式序列。4、已知文法G(S)Sa|(T)TT，S|S写出句子(a，a)，a)的规范归约过程及每一步的句柄。句型归约规则句柄 (a，a)，a)Saa(S，a)，a)TSS(T，a)，a)Saa (T，S)，a)TT，S T，S (S)，a) TSS (T)，a) SS(T) (T)(S，a)TSS(T，a) Saa(T，S) TT，S T，S(T) S(T)(T)S5、何谓优化？按所涉及的程序范围可分为哪几级优化？6、目标代码有哪几种形式？生成目标代码时通常应考虑哪几个问题？五、计算题1、写一个文法，使其语言是奇数集，且每个奇数不以0开头。2、设文法G(S)：S(L)|a S|aLL，S|S（1） 消除左递归和回溯； S(L)|aSSS|LSLLSL|（2）计算每个非终结符的FIRST和FOLLOW；（3）构造预测分析表。3、Whilea0 b0do BeginX：X1；if a0 then a：a1else b：b1End；翻译成四元式序列。4、已知文法G(E)ET|ETTF|T * FF(E)|I（1）给出句型(T * Fi)的最右推导及画出语法树；（2）给出句型(T * Fi)的短语、素短语。5、设布尔表达式的文法为E E(1)E(2)E E(1) E(2)E I假定它们将用于条件控制语句中，请（1）改写文法，使之适合进行语法制导翻译和实现回填；（2）写出改写后的短个产生式的语义动作。6、设有基本块T1：2T2：10/TT3：SRT4：SRA：T2 * T4B：AT5：SRT6：T3 * T5B：T6（1）画出DAG图；（2）假设基本块出口时只有A，B还被引用，请写出优化后的四元序列。参考答案：一是非题1234×5×二填空题1执行性、说明性；2源程序、单词符号；3任何一步都是对中最右非终结符进行替换的；4自上而下、自下而上；5一组终结符号，一组非终结符号、一个开始符号、一组产生式；6为每个产生式配上一个翻译子程序，并在语法分析的同时执行 这些子程序；7类型、种属、所占单元大小、地址；8现行活动记录地址和所有外层最新活动记录的地址；9栈式、堆式；10语法范畴。三名词解释1遍指编译程序对源程序或中间代码程序从头到尾扫描 一次。2无环路有向图(DAG)如果有向图中任一通路都不是环路， 则称庐有向图为无环路有向图，简称DAG。 3语法分析按文法的产生式识别输入的符号串是否为一 个句子的分析过程。4短语令G是一个文法。S划文法的开始符号，假定 是文法G的一个句型，如果有SA且AB，则称是句型 相对非终结符A的短语。5后缀式一种把运算量写在前面，把算符写在后面的表示 表达式的方法。四、1、答：传名：a12 传值：a6 2、答：略3、逆波兰表示：abc*ab/d 三元式序列： (*，b，c) (，a，) (，a，b) (/，) (，d)4、答：句型归约规则句柄(a，a)，a)Saa(S，a)，a)TSS(T，a)，a)Saa(T，S)，a)TT，S T，S(S)，a) TSS(T)，a) SS(T) (T)(S，a)TSS(T，a) Saa(T，S) TT，S T，S(T) S(T)(T)S5、答：优化：对程序进行各种等价变换，使得从变换后的程序出 发，能产生更有效的目标代码。 三种级别：局部优化、循环优化、全局优化。6、答：目标代码通常采用三种形式：机器语言，汇编语言，待装配 机器语言模块。 应着重考虑的问题： (1)如何使生成的目标代码较短； (2)如何充分利用寄存器，以减少访问内存次数； (3)如何充分利用指仅系统的的特点。 五、计算题：1、解：文法G(N)： NAB|B AAC|D B1|3|5|7|9 DB|2|4|6|8 C0|D2、解： (1)S(L)|aSSS|LSLLSL|(2)FIRST)S)(，aFOLLOW(S)#，)FIRST(S)，a,FOLLOW(S)#，)FIRST(L)(，aFOLLOW(L) )FIRST(L)，FOLLOW(L )(3)a，()SSLLSaSS(L)SSSSSSSLSLLSLLL 3、解：(1) (j，a，0，5)(2) (j，3)(3) (j，b，0，5)(4) (j，15)(5) (，×，1，T1)(6) (：，T1，×)(7) (j，a，0，9)(8) (j，12)(9) (，a，1，T2)(10) (：，T2，a)(11) (j，1)(12) (，b，1，    T3)(13) (：，T3，b)(14) (j，1)(15)4、解：(1) 最右推导：ETF(E)(ET)(EF)(Ei) (Ti)(T*Fi)语法树：略 (2) 短语：(T*Fi)，T*Fi，T*F，i 素短语：T*F,i 5、解：(1) E0E(1) EE0E(2) EAE(1) EEAE(2) Ei (2) EE(1)  BACKPATCH(E(1)·FC，NXQ)； E0·TC：E(1)·TC EE0E(2)  E·FC：E(2)·FC； E·TC：MERG(E0·TC，E(2)·TC) EAE(1) BACKPATCH(E(1)·TC，NXQ)； E0·FC：E(1)·FC EEAE(2)  E·TC：E(2)·TC； E·FC：MERG(EA·FC，E(2)·FC Ei  E·TC：NXQ；E·FC：NXQ1； GEN(jn2，entry(i)，0)； GEN(j，0)6、解：(1)DAG：略 (2) 优化后的四元式 T3：SR T4：SR A：5*T4 B：T3T4