编译原理试题

编译原理试题编译原理试题12/12编译原理试题编译原理试题一、单项选择题．将编译程序分红假定干个“遍〞是为了(B)A．提升程序的履行效率B.使程序的结构更为清楚．利用有限的机器内存并提升机器的履行效率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．词法剖析器的输出结果是(C)A．单词的种别编码B．单词在符号表中的地点C．单词的种别编码和属性值D．单词属性值8．正规式M1和M2等价是指(C)A．M1和M2的状态数相等B．M1和M2的有向弧条数相等．M1和M2所识其他语言集相等D．M1和M2状态数和有向弧条数相等9．词法剖析器作为独立的阶段使整个编译程序结构更为简短、明确，所以，(B)．词法剖析器应作为独立的一遍．词法剖析器作为子程序较好．词法剖析器其实不作为一个独立的阶段10．假如L(M1)=L(M2)，那么M1与M2(A)A．等价B．都是二义的C．都是无二义的D．它们的状态数相等11．文法G：S→xSx|y所识其他语言是(C)A．xyxB．(xyx)*c．xnyxn(n≥0)d．x*yx*12．文法G描绘的语言L(G)是指(A)A．L(G)|S,VT*B．*C．L(G)|S,VT*D．

L(G)|S,(VTVN)**(VTVN)*L(G)|S,13．有限状态自动机能辨别(C)A．上下文没关文法B．上下文相关文法C．正规文法D．短语文法14．假如文法G是无二义的，那么它的任何句子(A)．最左推导和最右推导对应的语法树必然同样．最左推导和最右推导对应的语法树可能不一样．最左推导和最右推导必然同样．可能存在两个不一样的最左推导，但它们对应的语法树同样15．由文法的开始符经0步或多步推导产生的文法符号序列是(C)．短语B．句柄C．句型D．句子16．文法G：E→E+T|TT→T*P|PP→(E)|i那么句型P+T+i的句柄为(B)．P+TB．PC．P+T+iD．i17．文法G：S→b|∧|(T)→T∨S|SFIRSTVT(T)=(C)A．{b，∧，(}B．{b，∧，)}C．{b，∧，(，∨}D．{b，∧，〕，∨}18．产生正规语言的文法为(D)．0型B．1型C．2型D．3型19．任何算符优先文法(D)优先函数。A．有一个B．没有C．有假定干个D．可能有假定干个20．采纳自上而下剖析，一定(A)A．除去左递归B．除去右递归C．除去回溯D．提取公共左因子21．在标准归约中，用(B)来刻画可归约串。A．直接短语B．句柄C．最左素短语D．素短语22．有文法G：E→E*T|TT→T+i|i句子1+2*8+6按该文法G归约，其值为(B)A．23B．42C．30D．1723．假如文法是无二义的，那么标准归约是指(B)A．最左推导的逆过程B．最右推导的逆过程C．标准推导D．最左归约的逆过程24．文法G:S→S+T|TT→T*P|PP→(S)|i句型P+T+i的短语有(B)A．i,P+TB．P,P+T,i,P+T+iC．P+T+iD．P，P+T，i25．四元式之间的联系是经过(B)实现的。A．指示器B．暂时变量C．符号表D．程序变量26．后缀式ab+cd+／可用表达式(B)来表示。A．a+b／c+dB．(a+b)／(c+d)C．a+b／(c+d)D．a+b+c／d27．使用间接三元式表示法的主要目的(A)A．便于优化办理B．便于表的改正C．节俭储存空间D．生成中间代码更简单28．表达式(┐A∨B)∧(C∨D)的逆波兰表示为(B)A．┐AB∨∧CD∨B．A┐B∨CD∨∧．AB∨┐CD∨∧D．A┐B∨∧CD∨二、判断题1．一个确立有限状态自动机中，有且仅有一个独一的终态。(╳)2．设R和S分别是字母表∑上的正规式，那么有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．一张变换图只包含有限个状态，此中有一个被以为是初态，最多只有一个终态。(╳)12．二义文法不是上下文没关文法。〔╳〕13．自上而下剖析法是一种“移进—归约〞法。〔╳〕14．文法是描绘语言的语法结构的形式规那么。(√)15．产生式是定义语法范围的一种书写规那么。(√)16．要结构卓有成效的自上而下的剖析器，那么一定除去左递归。〔╳〕17．假如文法G是无二义的，那么标准归约和标准推导是互逆的两个过程。

(√)18．自下而上的剖析法是一种“移进—归约〞法。(√)19．假如文法G是二义的，那么标准归约和标准推导是互逆的两个过程。

〔╳〕三、填空题1．解说程序和编译程序的差别在于〔能否生成目标代码〕。2．编译过程往常可分为5个阶段，分别是〔词法剖析〕、〔语法剖析〕、语义剖析与中间代码产生、代码优化和目标代码生成。3．编译程序工作过程中，第一阶段输入是〔源程序〕，最后阶段的输出为〔目标代码〕程序。4．把语法范围翻译成中间代码所依照的是〔语义规那么〕。5．目标代码能够是〔汇编〕指令代码或〔可重定位〕指令代码或绝对机器指令代码。6．词法剖析的任务是：输入源程序，对组成源程序的〔字符串〕进行扫描和分解。7．源程序中的错误往常分为〔语法错误〕和〔语义错误〕两大类。8．〔编译程序〕是将源程序翻译成目标程序的程序。9．一个上下文没关文法G包含四个局部：〔终结符号〕、〔非终结符号〕、〔开始符号〕和一组〔产生式〕。10．假定12n，那么称这个序列是从1到n的一个〔推导〕。11．设文法G的开始符号为S，假如S*那么称是L(G)的一个〔句型〕。12．文法G所产生的句子的全体是文法G所定义的〔语言〕。13．假定一个文法存在某个句子对应的两棵不一样的语法树，那么称这个文法是〔二义文法〕。14．程序语言的单词符号一般可分为五种：〔重点字〕、〔表记符〕、常数、〔运算符〕和界符。15．〔确立有限自动机DFA〕是非确立有限自动机NFA的一个特例。16．关于正规文法G和有限自动机M，假定L(G)=L(M)，那么称G和M是〔等价〕的。17．假定两个正规式所表示的正规集相等，那么以为两者是〔等价〕的。18．依照语法剖析树的成立方法，语法剖析可分为两类：〔自上而下剖析〕和〔自下而上剖析〕。18．标准归约中的可归约串是指〔句柄〕。19．算符优先剖析中的可归约串是指〔最左素短语〕。20．〔自下而上〕语法剖析的重点问题是精准定义可归约串的观点。四、简答1．给出上下文没关文法的定义。一个上下文没关文法G是一个四元式(VT，VN，S，P)，此中：VT是一个非空有限集，它的每个元素称为终结符号；VN是一个非空有限集，它的每个元素称为非终结符号，VT∪VN=Φ；是一个非终结符号，称为开始符号；是一个产生式会合(有限)，每个产生式的形式是P→α，此中，P∈VN，α∈(VT∪VN)*。开始符号S起码一定在某个产生式的左部出现一次。2．给出正规式与正规集的递归定义。ε和Φ都是∑上的正规式，它们所表示的正规集分别为{ε}和Φ；(2)任何a∈∑，a是∑上的一个正规式，它所表示的正规集为{a}；(3)假定U和V都是∑上的正规式，它们所表示的正规集分别记为L(U)和L(V)，那么，(U|V)、(U·V)和(U)*也都是正规式，它们所表示的正规集分别为L(U)∪L(V)、L(U)L(V)(连接积)和(L(U))*(闭包)。仅由有限次使用上述三步骤而获得的表达式才是∑上的正规式。仅由这些正规式所表示的字集才是∑上的正规集。3．设文法G为：→aAcB|BdSA→BaB|aBc|aB→aScA|cAB|b关于输入串aacabccb，给出最左推导。S=>aAcB=>aaBccB=>aacABccB=>aacaBccB=>aacabccB=>aacabccb4．设文法G为：→BAA→BS|dB→aA|bS|c关于输入串adccd，给出最左推导。S=>BA=>aAA=>adA=>adBS=>adcS=>adcBA=>adccA=>adccd5．证明：文法G：P→PaP|PbP|cP|Pe|f为二义文法。关于文法G定义的句子fbfbf，有两棵不一样的语法树：PPPbPPbPPbPffPbPffff所以该文法是二义文法。6．证明：文法G：P→S+S|S*S|i|(S)为二义文法。关于文法G定义的句子i+i*i，有两棵不一样的语法树：SSS*SS+SS+SiiS*Siiii所以该文法是二义文法。7．给定正规文法G:abS→aS|bA|bA→aSSaA请结构与之等价的有限自动机。bf8．给定正规文法G:S→aAA→bA|aB|bB→aA请结构与之等价的有限自动机。babSAFaaB9．对下边给出的NFA确立化。abaabSAFaaab123a4a10．对下边给出的NFA确立化。aSaAaaBba1或a11．对下边给出的DFA最小化。aASbCa

a23aba4ba21aba3bbaaaBbDbab1a2a3b12．对下边给出的DFA最小化。aaaAbabSBaDbbCbbaaabb12a34b13．有以下布尔表达式：a<band(c<dore<f)假定整个表达式的真假出口分别为Ltrue和Lfalse，请翻译成三地点语句。ifa<bgotoL1gotoLfalseL1:ifc<dgotoLtruegotoL2L2:ife<fgotoLtruegotoLfalse14．有以下语句：ifa<bthenifc<dthenp:=a+1elsep:=b+1elsep:=c+1请翻译成三地点语句。ifa<bgotoL1gotoL2L1:ifc<dgotoL3gotoL4L3:T1:=a+1p:=T1gotoL5L4:T2:=b+1p:=T2L5:gotoLnextL2:T3:=c+1p:=T3Lnext:⋯五、法剖析1．有文法G:S→a|b|(A)A→SdA|S⑴达成以下算符先关系表，并判断能否算符先文法〔明原因〕。ab()d#a·＞·＞·＞b·＞·＞·＞(＜·＜·＜·＝＜·)·＞·＞·＞d＜·＜·＜··＞＜··＞#＜·＜·＜·＝因为文法的任何生的右部都不含两个相的非符，故属于算符文法。从上表能够看出，任何两个符之至多足＝、＜·、·＞三种关系之一，故G算符先文法。⑵出句型(SdSdS)的法，指出句型的短、句柄S(A)SdASdAS短语：(SdSdS)SdSdSSdSS句柄:S2．设有文法G:S→S*F|FF→F↑P|PP→(S)|