编译原理试题44443.docx

1、编译原理试题44443编译原理试题一、单项选择题1将编译程序分成若干个“遍”是为了(B)A提高程序的执行效率B.使程序的结构更加清晰C利用有限的机器内存并提高机器的执行效率D利用有限的机器内存但降低了机器的执行效率2不可能是目标代码的是(D)A汇编指令代码B可重定位指令代码C绝对指令代码D中间代码3词法分析器的输入是(B)A单词符号串B源程序C语法单位D目标程序4中间代码生成时所遵循的是(C)A语法规则B词法规则C语义规则D等价变换规则5编译程序是对(D)A汇编程序的翻译B高级语言程序的解释执行C机器语言的执行D高级语言的翻译6词法分析应遵循(C)A语义规则B语法规则C构词规则D等价变换规则7

2、词法分析器的输出结果是(C)A单词的种别编码B单词在符号表中的位置C单词的种别编码和属性值D单词属性值8正规式M1和M2等价是指(C)AM1和M2的状态数相等BM1和M2的有向弧条数相等CM1和M2所识别的语言集相等DM1和M2状态数和有向弧条数相等9词法分析器作为独立的阶段使整个编译程序结构更加简洁、明确，因此，(B)A词法分析器应作为独立的一遍B词法分析器作为子程序较好C词法分析器分解为多个过程，由语法分析器选择使用D词法分析器并不作为一个独立的阶段10如果L(M1)=L(M2)，则M1与M2(A)A等价B都是二义的C都是无二义的D它们的状态数相等11文法G：SxSx|y所识别的语言是(C

3、)AxyxB(xyx)*cxnyxn(n0)dx*yx*12文法G描述的语言L(G)是指(A)ABCD13有限状态自动机能识别(C)A上下文无关文法B上下文有关文法C正规文法D短语文法14如果文法G是无二义的，则它的任何句子(A)A最左推导和最右推导对应的语法树必定相同B最左推导和最右推导对应的语法树可能不同C最左推导和最右推导必定相同D可能存在两个不同的最左推导，但它们对应的语法树相同15由文法的开始符经0步或多步推导产生的文法符号序列是(C)A短语B句柄C句型D句子16文法G：EE+T|TTT*P|PP(E)|i则句型P+T+i的句柄为(B)AP+TBPCP+T+iDi17文法G：Sb|(

4、T)TTS|S则FIRSTVT(T)=(C)Ab，(Bb，)Cb，(，Db，），18产生正规语言的文法为(D)A0型B1型C2型D3型19任何算符优先文法(D)优先函数。A有一个B没有C有若干个D可能有若干个20采用自上而下分析，必须(A)A消除左递归B消除右递归C消除回溯D提取公共左因子21在规范归约中，用(B)来刻画可归约串。A直接短语B句柄C最左素短语D素短语22有文法G：EE*T|TTT+i|i句子1+2*8+6按该文法G归约，其值为(B)A23B42C30D1723如果文法是无二义的，那么规范归约是指(B)A最左推导的逆过程B最右推导的逆过程C规范推导D最左归约的逆过程24文法G:S

5、S+T|TTT*P|PP(S)|i句型P+T+i的短语有(B)Ai,P+TBP,P+T,i,P+T+iCP+T+iDP，P+T，i25四元式之间的联系是通过(B)实现的。A指示器B临时变量C符号表D程序变量26后缀式ab+cd+可用表达式(B)来表示。Aa+bc+dB(a+b)(c+d)Ca+b(c+d)Da+b+cd27使用间接三元式表示法的主要目的(A)A便于优化处理B便于表的修改C节省存储空间D生成中间代码更容易28表达式(AB)(CD)的逆波兰表示为(B)AABCDBABCDCABCDDABCD二、判断题1一个确定有限状态自动机中，有且仅有一个唯一的终态。()2设R和S分别是字母表上的

6、正规式，则有L(R|S)=L(R)L(S)。()3自动机M1和M2的状态数不同，则二者必不等价。()4确定有限自动机以及非确定有限自动机都能正确地识别正规集。()5对任意一个右线性正规文法G，都存在一个NFAM，满足L(G)=L(M)。()6对任意一个右线性正规文法G，都存在一个DFAM，满足L(G)=L(M)。()7对任何正规式e，都存在一个NFAM，满足L(M)=L(e)。()8对任何正规式e，都存在一个DFAM，满足L(M)=L(e)。()9从一个句型到另一个句型的推导过程是唯一的。()10词法分析作为单独的一遍来处理较好。()11一张转换图只包含有限个状态，其中有一个被认为是初态，最多

7、只有一个终态。()12二义文法不是上下文无关文法。（）13自上而下分析法是一种“移进归约”法。（）14文法是描述语言的语法结构的形式规则。()15产生式是定义语法范畴的一种书写规则。()16要构造行之有效的自上而下的分析器，则必须消除左递归。（）17如果文法G是无二义的，那么规范归约和规范推导是互逆的两个过程。()18自下而上的分析法是一种“移进归约”法。()19如果文法G是二义的，那么规范归约和规范推导是互逆的两个过程。（）三、填空题1解释程序和编译程序的区别在于（是否生成目标代码）。2编译过程通常可分为5个阶段，分别是（词法分析）、（语法分析）、语义分析与中间代码产生、代码优化和目标代码生

8、成。3编译程序工作过程中，第一阶段输入是（源程序），最后阶段的输出为（目标代码）程序。4把语法范畴翻译成中间代码所依据的是（语义规则）。5目标代码可以是（汇编）指令代码或（可重定位）指令代码或绝对机器指令代码。6词法分析的任务是：输入源程序，对构成源程序的（字符串）进行扫描和分解。7源程序中的错误通常分为（语法错误）和（语义错误）两大类。8（编译程序）是将源程序翻译成目标程序的程序。9一个上下文无关文法G包括四个部分：（终结符号）、（非终结符号）、（开始符号）和一组（产生式）。10若，则称这个序列是从到的一个（推导）。11设文法G的开始符号为S，如果则称是L(G)的一个（句型）。12文法G所产

9、生的句子的全体是文法G所定义的（语言）。13若一个文法存在某个句子对应的两棵不同的语法树，则称这个文法是（二义文法）。14程序语言的单词符号一般可分为五种：（关键字）、（标识符）、常数、（运算符）和界符。15（确定有限自动机DFA）是非确定有限自动机NFA的一个特例。16对于正规文法G和有限自动机M，若L(G)=L(M)，则称G和M是（等价）的。17若两个正规式所表示的正规集相等，则认为二者是（等价）的。18按照语法分析树的建立方法，语法分析可分为两类：（自上而下分析）和（自下而上分析）。18规范归约中的可归约串是指（句柄）。19算符优先分析中的可归约串是指（最左素短语）。20（自下而上）语法

10、分析的关键问题是精确定义可归约串的概念。四、简答1给出上下文无关文法的定义。一个上下文无关文法G是一个四元式(VT，VN，S，P)，其中：VT是一个非空有限集，它的每个元素称为终结符号；VN是一个非空有限集，它的每个元素称为非终结符号，VTVN=；S是一个非终结符号，称为开始符号；P是一个产生式集合(有限)，每个产生式的形式是P，其中，PVN，(VTVN)*。开始符号S至少必须在某个产生式的左部出现一次。2给出正规式与正规集的递归定义。(1)和都是上的正规式，它们所表示的正规集分别为和；(2)任何a，a是上的一个正规式，它所表示的正规集为a；(3)假定U和V都是上的正规式，它们所表示的正规集分

11、别记为L(U)和L(V)，那么，(U|V)、(UV)和(U)*也都是正规式，它们所表示的正规集分别为L(U)L(V)、L(U)L(V)(连接积)和(L(U)*(闭包)。仅由有限次使用上述三步骤而得到的表达式才是上的正规式。仅由这些正规式所表示的字集才是上的正规集。3设文法G为：SaAcB|BdSABaB|aBc|aBaScA|cAB|b对于输入串aacabccb，给出最左推导。S=aAcB=aaBccB=aacABccB=aacaBccB=aacabccB=aacabccb4设文法G为：SBAABS|dBaA|bS|c对于输入串adccd，给出最左推导。S=BA=aAA=adA=adBS=ad

12、cS=adcBA=adccA=adccd5证明：文法G：PPaP|PbP|cP|Pe|f为二义文法。对于文法G定义的句子fbfbf，有两棵不同的语法树：所以该文法是二义文法。6证明：文法G：PS+S|S*S|i|(S)为二义文法。对于文法G定义的句子i+i*i，有两棵不同的语法树：所以该文法是二义文法。7给定正规文法G:SaS|bA|bAaS请构造与之等价的有限自动机。8给定正规文法G:SaAAbA|aB|bBaA请构造与之等价的有限自动机。9对下面给出的NFA确定化。a10对下面给出的NFA确定化。或11对下面给出的DFA最小化。12对下面给出的DFA最小化。13有如下布尔表达式：aband

13、(cdoref)假定整个表达式的真假出口分别为Ltrue和Lfalse，请翻译成三地址语句。ifabgotoL1gotoLfalseL1:ifcdgotoLtruegotoL2L2:ifefgotoLtruegotoLfalse14有如下语句：ifabthenifcdthenp:=a+1elsep:=b+1elsep:=c+1请翻译成三地址语句。ifabgotoL1gotoL2L1:ifcdgotoL3gotoL4L3:T1:=a+1p:=T1gotoL5L4:T2:=b+1p:=T2L5:gotoLnextL2:T3:=c+1p:=T3Lnext:五、语法分析1设有文法G:Sa|b|(A)A

14、SdA|S完成下列算符优先关系表，并判断是否为算符优先文法（请说明理由）。ab()d#ab()d#由于该文法的任何产生的右部都不含两个相继的非终结符，故属于算符文法。从上表可以看出，任何两个终结符之间至多满足、三种关系之一，故G为算符优先文法。给出句型(SdSdS)对应的语法树，指出该句型的短语、句柄短语：(SdSdS)SdSdSSdSS句柄:S2设有文法G:SS*F|FFFP|PP(S)|i完成下列算符优先关系表，并判断是否为算符优先文法（请说明理由）。*()i#*()i#由于该文法的任何产生的右部都不含两个相继的非终结符，故属于算符文法。从上表可以看出，任何两个终结符之间至多满足、三种关系之一，故G为算符优先文法。给出句型S*P(S)对应的语法树，指出该句型的短语、句柄短语：S*P(S)P(S)P(S)句柄:P