编译原理期末试题

第1页共6页《编译原理》期末试题（一）一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分）1．编译程序是对高级语言程序的解释执行。(×)2．一个有限状态自动机中，有且仅有一个唯一的终态。(×)3．一个算符优先文法可能不存在算符优先函数与之对应。(√)4．语法分析时必须先消除文法中的左递归。(×)5．LR分析法在自左至右扫描输入串时就能发现错误，但不能准确地指出出错地点。(√)6．逆波兰表示法表示表达式时无须使用括号。(√)7．静态数组的存储空间可以在编译时确定。(×)8．进行代码优化时应着重考虑循环的代码优化，这对提高目标代码的效率将起更大作用。(×)9．两个正规集相等的必要条件是他们对应的正规式等价。(×)10．一个语义子程序描述了一个文法所对应的翻译工作。(×)二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每个4分，共40分)1．词法分析器的输出结果是_____。A．()单词的种别编码B．()单词在符号表中的位置C．()单词的种别编码和自身值D．()单词自身值2．正规式M1和M2等价是指_____。A．()M1和M2的状态数相等B．()M1和M2的有向边条数相等C．()M1和M2所识别的语言集相等D．()M1和M2状态数和有向边条数相等3．文法G：S→xSx|y所识别的语言是_____。第2页共6页A．()xyxB．()(xyx)*C．()xnyxn(n≥0)D．()x*yx*4．如果文法G是无二义的，则它的任何句子α_____。A．()最左推导和最右推导对应的语法树必定相同B．()最左推导和最右推导对应的语法树可能不同C．()最左推导和最右推导必定相同D．()可能存在两个不同的最左推导，但它们对应的语法树相同5．构造编译程序应掌握______。A．()源程序B．()目标语言C．()编译方法D．()以上三项都是6．四元式之间的联系是通过_____实现的。A．()指示器B．()临时变量C．()符号表D．()程序变量7．表达式(┐A∨B)∧(C∨D)的逆波兰表示为_____。A.()┐AB∨∧CD∨B．()A┐B∨CD∨∧C．()AB∨┐CD∨∧D．()A┐B∨∧CD∨8.优化可生成_____的目标代码。A．()运行时间较短B．()占用存储空间较小C．()运行时间短但占用内存空间大D．()运行时间短且占用存储空间小9．下列______优化方法不是针对循环优化进行的。A.()强度削弱B．()删除归纳变量C．()删除多余运算D．()代码外提10．编译程序使用_____区别标识符的作用域。第3页共6页A.()说明标识符的过程或函数名B．()说明标识符的过程或函数的静态层次C．()说明标识符的过程或函数的动态层次D.()标识符的行号三、填空题(每空1分，共10分)1．计算机执行用高级语言编写的程序主要有两种途径：___解释__和__编译___。2．扫描器是__词法分析器___，它接受输入的__源程序___，对源程序进行___词法分析__并识别出一个个单词符号，其输出结果是单词符号，供语法分析器使用。3．自上而下分析法采用___移进__、归约、错误处理、___接受__等四种操作。4．一个LR分析器包括两部分：一个总控程序和___一张分析表__。5．后缀式abc-/所代表的表达式是___a/(b-c)__。6．局部优化是在__基本块___范围内进行的一种优化。四、简答题（20分）1.简要说明语义分析的基本功能。答：语义分析的基本功能包括:确定类型、类型检查、语义处理和某些静态语义检查。2.考虑文法G[S]:S→(T)|a+S|aT→T,S|S消除文法的左递归及提取公共左因子。解：消除文法G[S]的左递归：S→(T)|a+S|aT→ST′T′→,ST′|ε提取公共左因子：第4页共6页S→(T)|aS′S′→+S|εT→ST′T′→,ST′|ε3.试为表达式w+(a+b)*(c+d/(e-10)+8)写出相应的逆波兰表示。解：wab+cde10-/+8+*+4.按照三种基本控制结构文法将下面的语句翻译成四元式序列：while(AC∧BD){if(A≥1)C=C+1;elsewhile(A≤D)A=A+2;}。解：该语句的四元式序列如下(其中E1、E2和E3分别对应A＜C∧B＜D、A≥1和A≤D，并且关系运算符优先级高)：100(j,A,C,102)101(j,_,_,113)102(j,B,D,104)103(j,_,_,113)104(j=,A,1,106)105(j,_,_,108)106(+,C,1,C)107(j,_,_,112)108(j≤,A,D,110)109(j,_,_,112)110(+,A,2,A)111(j,_,_,108)112(j,_,_,100)1135.已知文法G[S]为S→aSb|Sb|b，试证明文法G[S]为二义文法。证明：第5页共6页由文法G[S]：S→aSb|Sb|b，对句子aabbbb对应的两棵语法树为：因此，文法G[S]为二义文法。五.计算题（10分）已知文法A-aAd|aAb|ε判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。解：增加一个非终结符S/后，产生原文法的增广文法有：S'-AA-aAd|aAb|ε下面构造它的LR(0)项目集规范族为：第6页共6页从上表可看出,状态I0和I2存在移进-归约冲突，该文法不是LR(0)文法。对于I0来说有：FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ，所以在I0状态下面临输入符号为a时移进，为b,d,#时归约，为其他时报错。对于I2来说有也有与I0完全相同的结论。这就是说，以上的移进-归约冲突是可以解决的，因此该文法是SLR(1)文法。其SLR(1)分析表为：对输入串ab#给出分析过程为：第7页共6页《编译原理》期末试题（二）一、是非题：1.一个上下文无关文法的开始符，可以是终结符或非终结符。()2.一个句型的直接短语是唯一的。（）3.已经证明文法的二义性是可判定的。（）4.每个基本块可用一个DAG表示。（）5.每个过程的活动记录的体积在编译时可静态确定。（）6.2型文法一定是3型文法。（）7.一个句型一定句子。()8.算符优先分析法每次都是对句柄进行归约。X()9.采用三元式实现三地址代码时，不利于对中间代码进行优化。（）10.编译过程中，语法分析器的任务是分析单词是怎样构成的。()11.一个优先表一定存在相应的优先函数。X()12.目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。()13.递归下降分析法是一种自下而上分析法。()14.并不是每个文法都能改写成LL(1)文法。()15.每个基本块只有一个入口和一个出口。()16.一个LL(1)文法一定是无二义的。()17.逆波兰法表示的表达试亦称前缀式。()18.目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。()19.正规文法产生的语言都可以用上下文无关文法来描述。()20.一个优先表一定存在相应的优先函数。()21.3型文法一定是2型文法。()22.如果一个文法存在某个句子对应两棵不同的语法树，则文法是二义性的。()答案：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.扫描器的任务是从（源程序中）中识别出一个个（单词符号）。7.符号表中的信息栏中登记了每个名字的有关的性质，如(类型、种属、所占单元大小、地址）等等。8.一个过程相应的DISPLAY表的内容为(现行活动记录地址和所有外层最新活动记录的地址)10.常用的两种动态存贮分配办法是（栈式）动态分配和（堆式）动态分配。11.一个名字的属性包括(类型)和(作用域)。12.常用的参数传递方式有(传地址），（传值），（传名）13.根据优化所涉及的程序范围，可将优化分成为(局部优化），（循环优化），（全局优化）三个级别。14.语法分析的方法大致可分为两类，一类是（自上而下）分析法，另一类是（自下而上）分析法。15.预测分析程序是使用一张（分析表）和一个（符号栈）进行联合控制的。17.一张转换图只包含有限个状态,其中有一个被认为是（初）态;而且实际上至少要有一个（终）态。19.语法分析是依据语言的（语法）规则进行。中间代码产生是依据语言的（语义）规则进行的。21.一个文法G，若它的预测分析表M不含多重定义，则该文法是（LL(1)文法）文法。第8页共6页22.对于数据空间的存贮分配，FORTRAN采用(静态策略，PASCAL采用(动态)策略。24.最右推导亦称为（规范推导），由此得到的句型称为（规范）句型。26.对于文法G，仅含终结符号的句型称为(句子)。27.所谓自上而下分析法是指(从开始符号出发，向下推导，推出句子）29.局限于基本块范围的优化称（局部优化）。31.2型文法又称为（上下文无关）文法；3型文法又称为（正则）文法。32.每条指令的执行代价定义为(指令访问主存次数加1）33.算符优先分析法每次都是对(最左素短语）进行归约。三、名词解释题：1.局部优化-------局限于基本块范围的优化称。2.二义性文法------如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义性文法。3.DISPLAY表----过程的嵌套层次显示表，记录该过程的各外层过程的最新活动记录的起始地址。5.最左推导------任何一步α=β都是对α中的最右非终结符替换。6.语法------一组规则，用它可形成和产生一组合式的程序。7.文法------描述语言的语法结构的形式规则。8.基本块------指程序中一顺序执行的语句序列，其中只有一个入口和一个出口，入口就是其中的第一个语句，出口就是其中的最后一个语句。9.语法制导翻译------在语法分析过程中，根据每个产生式所对应的语义子程序进行翻译的办法叫做语法制导翻译。10.短语------令G是一个文法，S划文法的开始符号，假定αβδ是文法G的一个句型，如果有SαAδ且Aβ，则称β是句型αβδ相对非终结符A的短语。11.待用信息------如果在一个基本块中，四元式i对A定值，四元式j要引用A值，而从i到j之间没有A的其它定值，则称j是四元式i的变量A的待用信息。12.规范句型------由规范推导所得到的句型。13.扫描器------执行词法分析的程序。14.超前搜索------在词法分析过程中，有时为了确定词性，需超前扫描若干个字符。15.句柄------一个句型的最左直接短语。16.语法制导翻译------在语法分析过程中，根据每个产生式所对应的语义程序进行翻译的方法叫做语法制导翻译。17.规范句型------由规范推导所得到的句型。18.素短语------素短语是指这样一个短语，至少含有一个终结符，并且，除它自身外不再含任何更小的素短语。19.语法------是组规则，用它可形成和产生一个合式的程序。20.待用信息------如果在一个基本块中，四元式i对A定值，四元式j要引用A值，而从i到j之间没有A的其它定值，则称j是四元式i的变量A的待用信息。21.语义------定义程序的意义的一组规则。四、简答题：1.写一个文法G,使其语言为不以0开头的偶数集。2.已知文法G(S)及相应翻译方案S→aAb{print“1”}S→a{print“2”}A→AS{print“3”}A→c{print“4”}输入acab,输出是什么？3.已知文法G(S)S→bAaA→(B|aB→Aa)写出句子b(aa)b的规范归约过程。第9页共6页4.考虑下面的程