编译技术考试试题及答案

1、编译技术考试试题及答案一、 填空题（每空1分，共20分）1编译过程一般分为 、 、中间代码生成、 和目标代码生成五个阶段。2语法分析最常用的两类方法是 和 分析法。3确定的有穷自动机是一个 ，通常表示为 。4所谓最右推导是指 。5语法分析器的任务是 。6如果一个文法的任何产生式的右部都不含有 的非终结符，则这种文法称为 文法。7进行确定的自上而下语法分析要求语言的文法是无 和 的。8LR分析法是一种 的语法分析方法。9根据优化对象所涉及的程序范围，代码优化分为 、 和 等。10常用的优化技术包括： 、 、强度削弱、复写传播、 等。二、 是非题（下列各题，你认为正确的，请在题后的括号内打“ ”，

2、错的打“”。每题2分，共20分）1正规文法产生的语言都可以用上下文无关文法来描述。 ( )2仅考虑一个基本块，不能确定一个赋值是否真是无用的。 （ ）3如果一个文法是递归的，则其产生的语言的句子是无穷个。 （ ）4四元式之间的联系是通过符号表实现的。 （ ）5文法的二义性和语言的二义性是两个不同的概念。 （ ）6一个LL( l)文法一定是无二义的。 ( )7在规范规约中用最左素短语来刻划可归约串。 ( )8目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。 ( )9编译程序是对汇编程序的翻译。 （ ）10逆波兰法表示的表达式亦称前缀式。 ( ) 三、 简答题（每题5分，共15分）1、简述

3、栈式存储管理策略； 2、何谓DAG； 3、何谓文法的二义性；四、 给出下述文法对应的正规式 （7分）S 0A| 1BA1S | 1B0S | 0五、 已知文法G(E)：ET | E+T | E-TTF | T*F | T/FF(E) | i证明E+T*F是该文法的一个句型，并指出该句型的所有短语、直接短语和句柄。（8分）六、 设有文法GS：S aBc|bABA aAb|bB b|构造其LL(1)分析表，并分析符号串baabbb是否是该文法的句子. (10分)七、 设有文法GE:E (E) | 试判断该文法是否为SLR(1)文法，若不是，请说明理由；若是请构造SLR(1)分析表。(10 分)八、

4、 假设可用寄存器为R0和R1，试写出下列四元式序列对应的目标代码。（10分）T1=B-CT2=A*T1 T3=D+1 T4=E-F T5=T3*T4 参考答案 一、填空题(1X20=20分)1 词法分析、语法分析、代码优化2 自上而下、自下而上3 五元组、DFA=(K , , M, S, Z)4 任何一步都是对中最右非终结符进行替换5 分析一个文法的句子结构6 相邻、算符7 左递归、公共左因子8 自下而上9 局部优化、循环优化、局部优化10 删除公共子表达式、代码外提、变换循环控制条件、合并已知量、删除无用赋值（任选3个） 二、是非题（2X10=20分）1、 2、 3、 4、 5、 6、 7、

5、 8、 9、 10、三、简答题（见书中相应部分）（5X3=15 分）四、解：首先得正规式方程组： S=0A+1B A=1S+1 B=0S+0 求解该方程组得：S=(01|10)(01|10)* （8分）五、解 （2分） 是文法GS的句型。 短语：E+T*F, T*F （2分） 直接短语：T*F （2分） 句柄：T*F （2分）六、解：、因为FOLLOW(B)=FIRST(c)FOLLOW(S)=c,#(2分), 所以构造文法GS的LL（1）分析表（5）如下：aBc#SaBcbABAaAbbBb符号串baabbb是该文法的句子(3分)（分析过程略）。七 (2 分) 所以该文法为SLR(1)文法。

6、其分析表如下：(8分)状态ACTIONGOTO()#E0S2r2r211acc2S2r2r233S44r1r1八、 目标代码为： (10分) LD R0,B SUB R0,C LD R1,A MUL R1,R0 LD R0,D ADD R0,1 ST R1,M LD R1,E SUB R0,F MUL R0,R1 LD R1,M DIV R1,R0 ST R1,W习题一、单项选择题1、将编译程序分成若干个“遍”是为了 。 a提高程序的执行效率 b使程序的结构更加清晰 c利用有限的机器内存并提高机器的执行效率 d利用有限的机器内存但降低了机器的执行效率2、构造编译程序应掌握 。 a源程序b目标语

7、言 c编译方法d以上三项都是3、变量应当 。 a持有左值b持有右值 c既持有左值又持有右值d既不持有左值也不持有右值 4、编译程序绝大多数时间花在 上。 a出错处理b词法分析 c目标代码生成d管理表格5、 不可能是目标代码。 a汇编指令代码b可重定位指令代码 c绝对指令代码d中间代码6、使用 可以定义一个程序的意义。 a语义规则b词法规则 c产生规则d词法规则7、词法分析器的输入是 。 a单词符号串b源程序 c语法单位d目标程序8、中间代码生成时所遵循的是- 。 a语法规则b词法规则 c语义规则d等价变换规则9、编译程序是对 。 a汇编程序的翻译b高级语言程序的解释执行 c机器语言的执行d高级

8、语言的翻译10、语法分析应遵循 。 a语义规则b语法规则 c构词规则d等价变换规则解答1、将编译程序分成若干个“遍”是为了使编译程序的结构更加清晰，故选b。2、构造编译程序应掌握源程序、目标语言及编译方法等三方面的知识，故选d。3、对编译而言，变量既持有左值又持有右值，故选c。4、编译程序打交道最多的就是各种表格，因此选d。5、目标代码包括汇编指令代码、可重定位指令代码和绝对指令代码3种，因此不是目标代码的只能选d。6、词法分析遵循的是构词规则，语法分析遵循的是语法规则，中间代码生成遵循的是语义规则，并且语义规则可以定义一个程序的意义。因此选a。 7、b 8、c 9、d 10、c二、多项选择题

9、1、编译程序各阶段的工作都涉及到 。 a语法分析b表格管理c出错处理 d语义分析e词法分析2、编译程序工作时，通常有 阶段。 a词法分析b语法分析c中间代码生成 d语义检查e目标代码生成解答1b、c 2. a、b、c、e三、填空题 1、解释程序和编译程序的区别在于 。2、编译过程通常可分为5个阶段，分别是 、语法分析 、代码优化和目标代码生成。3、编译程序工作过程中，第一段输入是 ，最后阶段的输出为 程序。4、编译程序是指将 程序翻译成 程序的程序。解答 是否生成目标程序 2、词法分析 中间代码生成 3、源程序目标代码生成4、源程序 目标语言一、单项选择题1、文法G：SxSx|y所识别的语言是

10、 。a. xyxb. (xyx)*c. xnyxn(n0)d. x*yx*2、文法G描述的语言L(G)是指 。a. L(G)=|S+ , VT*b. L(G)=|S*, VT*c. L(G)=|S*,(VTVN*)d. L(G)=|S+ , (VTVN*)3、有限状态自动机能识别 。a. 上下文无关文法b. 上下文有关文法c.正规文法d. 短语文法4、设G为算符优先文法，G的任意终结符对a、b有以下关系成立 。a. 若f(a)g(b)，则abb.若f(a)g(b)，则ag)(b)或f(a)0c. anbmcmdn|n,m0d. anbncmdm|n,m0e. anbncndn|n05、自下而上

11、的语法分析中，应从 开始分析。a. 句型b. 句子c. 以单词为单位的程序d. 文法的开始符e. 句柄6、对正规文法描述的语言，以下 有能力描述它。a.0型文法b.1型文法 c.上下文无关文法 d.右线性文法 e.左线性文法解答 1、e、a、c 2、a、c、e 3、b、c、d 4、a、c 5、b、c 6、a、b、c、d、e 三、填空题1、文法中的终结符和非终结符的交集是 。词法分析器交给语法分析器的文法符号一定是 ，它一定只出现在产生式的 部。2、最左推导是指每次都对句型中的 非终结符进行扩展。3、在语法分析中，最常见的两种方法一定是 分析法，另一是 分析法。4、采用 语法分析时，必须消除文法

12、的左递归。5、 树代表推导过程， 树代表归约过程。6、自下而上分析法采用 、归约、错误处理、 等四种操作。 7、Chomsky把文法分为 种类型，编译器构造中采用 和 文法，它们分别产生 和 语言，并分别用 和 自动机识别所产生的语言。解答 1、空集 终结符 右 2、最左 3、自上而上 自下而上 4、自上而上 5、语法 分析 6、移进 接受 7、4 2 型 3型 上下文无关语言 正规语言 下推自动机 有限四、判断题1、文法 SaS|bR|描述的语言是(a|bc)* ( ) RcS2、在自下而上的语法分析中，语法树与分析树一定相同。 （ ）3、二义文法不是上下文无关文法。 （ ）4、语法分析时必

13、须先消除文法中的左递归。（ ）5、规范归约和规范推导是互逆的两个过程。（ ）6、一个文法所有句型的集合形成该文法所能接受的语言。（ ）解答 1、对 2、错 3、错 4、错 5、错 6、错五、简答题1、句柄2、素短语3、语法树4、归约5、推导解答 1、句柄：一个句型的最左直接短语称为该句型的句柄。2、素短语：至少含有一个终结符的素短语，并且除它自身之外不再含任何更小的素短语。3、语法树：满足下面4个条件的树称之为文法GS的一棵语法树。每一终结均有一标记，此标记为VNVT中的一个符号；树的根结点以文法GS的开始符S标记；若一结点至少有一个直接后继，则此结点上的标记为VN中的一个符号；若一个以A为标

14、记的结点有K个直接后继，且按从左至右的顺序，这些结点的标记分别为X1,X2,XK，则AX1,X2,XK，必然是G的一个产生式。4、归约：我们称直接归约出A，仅当A 是一个产生式，且、(VNVT)*。归约过程就是从输入串开始，反复用产生式右部的符号替换成产生式左部符号，直至文法开始符。5、推导：我们称A直接推出，即A，仅当A 是一个产生式，且、(VNVT)*。如果12n，则我们称这个序列是从1至2的一个推导。若存在一个从1n的推导，则称1可推导出n。推导是归约的逆过程。六、问答题1、给出上下文无关文法的定义。解答一个上下文无关文法G是一个四元式（VT,VN,S, P），其中：VT是一个非空有限集

15、，它的每个元素称为终结符号；VN是一个非空有限集，它的每个元素称为非终结符号，VTVN=；S是一个非终结符号，称为开始符号；P是一个产生式集合（有限），每个产生式的形式是P，其中，PVN，(VTVN)*。开始符号S至少必须在某个产生式的左部出现一次。 2、文法GS： SaSPQ|abQ QPPQ bPbb bQbc cQcc（1）它是Chomsky哪一型文法？（2）它生成的语言是什么？解答 （1）由于产生式左部存在终结符号，且所有产生式左部符号的长度均小于等于产生式右部的符号长度，所以文法GS是Chomsky1型文法，即上下文有关文法。（2）按产生式出现的顺序规定优先级由高到低（否则无法推出句

16、子），我们可以得到： SabQabc SaSPQaabQPQaabPQQaabbQQaabbcQaabbcc SaSPQaaSPQPQaaabQPQPQaaabPQQPQaaabPQPQQaaaPPQQQaaabbPqqqaaabbQQQaaabbbcQQaaabbbccQaaabbbccc 于是得到文法GS生成的语言L=anbncn|n13、按指定类型，给出语言的文法。L=aibj|ji1的上下文无关文法。【解答】（1）由L=aibj|ji1知，所求该语言对应的上下文无关文法首先应有SaSb型产生式，以保证b的个数不少于a的个数；其次，还需有SSb或SbS型的产生式，用以保证b的个数多于a的

17、个数；也即所求上下文无关文法GS为：GS：SaSb|Sb|b4、有文法G：SaAcB|Bd AAaB|c BbScA|b（1）试求句型aAaBcbbdcc和aAcbBdcc的句柄；（2）写出句子acabcbbdcc的最左推导过程。【解答】（1）分别画出对应两句型的语法树，如图2-8-2所示句柄:AaB Bd 图2-8-2 语法树（2）句子acabcbbdcc的最左推导如下： SaAcBaAaBcBacaBcBacabcBacabcbScAacabcbBdcA acabcbbdcAacabcbbdcc 5、对于文法GS： S（L）|aS|a LL, S|S（1）画出句型（S,（a）的语法树。（2

18、）写出上述句型的所有短语、直接短语、句柄和素短语。【解答】（1）句型（S,（a）的语法树如图2-8-3所示（2）由图2-8-3可知：短语：S、a、(a)、S,(a)、(S,(a)；直接短语：a、S；句柄：S；素短语：素短语可由图2-8-3中相邻终结符之间的优先关系求得，即；因此素短语为a。6、考虑文法GT：TT*F|FFFP|PP（T）|i证明T*P（T*F）是该文法的一个句型，并指出直接短语和句柄。【解答】首先构造T*P（T*F）的语法树如图2-8-4所示。由图2-8-4可知，T*P（T*F）是文法GT的一个句型。直接短语有两个，即P和T*F；句柄为P。一、单项选择题1、词法分析所依据的是

19、。a. 语义规则b. 构词规则c. 语法规则d. 等价变换规则2、词法分析器的输出结果是 。a. 单词的种别编码b. 单词在符号表中的位置c. 单词的种别编码和自身值d. 单词自身值3、正规式M1和M2等价是指 。a. M1和M2的状态数相等b. M1和M2的有向弧条数相等c. M1和M2所识别的语言集相等 d. M1和M2状态数和有向弧条数相等4、状态转换图（见图3-6-1）接受的字集为 。a. 以 0开头的二进制数组成的集合 b. 以0结尾的二进制数组成的集合c. 含奇数个0的二进制数组成的集合 d. 含偶数个0的二进制数组成的集合5、词法分析器作为独立的阶段使整个编译程序结构更加简洁、明

20、确，因此， 。a. 词法分析器应作为独立的一遍 b. 词法分析器作为子程序较好c. 词法分析器分解为多个过程，由语法分析器选择使用 d. 词法分析器并不作为一个独立的阶段解答 1、b 2、c 3、c 4、d 5、b二、多项选择题1、在词法分析中，能识别出 。a. 基本字b. 四元式c. 运算符d. 逆波兰式e. 常数2、令=a,b，则上所有以b开头，后跟若干个ab的字的全体对应的正规式为 。a. b(ab)*b. b(ab)+c.(ba)*bd. (ba)+be. b(a|b)解答 1、a、c、e 2、a、b、d三、填空题1、确定有限自动机DFA是 的一个特例。2、若二个正规式所表示的 相同，则认为二者是等价的。3、一个字集是正规的，当且仅当它可由 所 。解答 1、NFA 2、正规集 3、DFA（NFA）所识别四、判断题1、一个有限状态自动机中，有且仅有一个唯一终态。（ ）2、设r和s分别是正规式，则有L（r|s）=L(r)|L(s)。（ ）3、自动机M和M的状态数不同，则二者必不等价。（ ）4、确定的自动机以及不确定的自动机都能正确地识别正规集。（ ）5、对任意一个右线性文法G，都存在一个NFA M，满足L(G)=L(M)。（ ）6、对任意一个右线性文法G，都存在一个DFA M，满足L(G)=L(M)。（ ）7、对任何正规表达式e，都存在一个NFA