搜索
编译原理参考题目第一套一、判断题1．用高级语言书写的源程序都必须通过编译,产生目标代码后才能投入运行”这种说法。(N)2．若一个句型中出现了某产生式的右部，则此右部一定是该句型的句柄。(N)3．一个句型的句柄一定是文法某产生式的右部。(Y)4．在程序中标识符的出现仅为使用性的。(N)5．仅考虑一个基本块，不能确定一个赋值是否真是无用的。(Y)6．削减运算强度破坏了临时变量在一基本块内仅被定义一次的特性。(Y)7．在中间代码优化中循环上的优化主要有不变表达式外提和削减运算强度。(N)8．算符优先关系表不一定存在对应的优先函数。(N)9．数组元素的地址计算与数组的存储方式有关。(N)10．编译程序与具体的机器有关,与具体的语言无关。(N)参考答案：1、×2、×3、√4、×5、√6、√7、×8、×9、×10、×二、选择题1．通常一个编译程序中，不仅包含词法分析，语法分析，中间代码生成，代码优化，目标代码生成等五个部分，还应包括_____。A．模拟执行器B．解释器C．表格处理和出错处理D．符号执行器2．文法G[N]=（{b}，{N，B}，N，{N→b│bB，B→bN}），该文法所描述的语言是A．L(G[N])={bi│i≥0}B．L(G[N])={b2i│i≥0}C．L(G[N])={b2i+1│i≥0}D．L(G[N])={b2i+1│i≥1}3．一个句型中的最左_____称为该句型的句柄。A．短语B．简单短语C．素短语D．终结符号4．设G是一个给定的文法，S是文法的开始符号，如果S-x(其中x∈V*),则称x是文法G的一个_____。A．候选式B．句型C．单词D．产生式5．文法G[E]：E→T∣E＋TT→F∣T﹡FF→a∣（E）该文法句型E＋F﹡(E＋T)的简单短语是下列符号串中的_____。①（E＋T）②E＋T③F④F﹡(E＋T)A．①和③B．②和③C．③和④D．③6．若一个文法是递归的，则它所产生的语言的句子_____。A．()是无穷多个B．()是有穷多个C．()是可枚举的D．()个数是常量7．词法分析器用于识别_____。A．()句子B．()句型C．()单词D．()产生式8．在语法分析处理中，FIRST集合、FOLLOW集合、SELECT集合均是_____。A.()非终极符集B．()终极符集C．()字母表D.()状态集9．在自底向上的语法分析方法中，分析的关键是_____。A.()寻找句柄B.()寻找句型C.()消除递归D.()选择候选式10．在LR分析法中，分析栈中存放的状态是识别规范句型_____的DFA状态。A.()句柄B.()前缀C.()活前缀D.()LR(0)项目参考答案：1、C2、C3、B4、B5、B6、A7、C8、B9、D10、C三、填空题1．设G是一个给定的文法，S是文法的开始符号，如果S-x(其中x∈VT*),则称x是文法的一个__句子___。2．递归下降法不允许任一非终极符是直接左递归的。3．自顶向下的语法分析方法的基本思想是：从文法的_开始符号__开始，根据给定的输入串并按照文法的产生式一步一步的向下进行_直接推导_，试图推导出文法的__句子__，使之与给定的输入串_匹配_。4．自底向上的语法分析方法的基本思想是：从输入串入手，利用文法的产生式一步一步地向上进行_直接规约_，力求归约到文法的__开始符号___。5．常用的参数传递方式有_传地址_，传值和传名。6．在使用高级语言编程时,首先可通过编译程序发现源程序的全部_语法__错误和语义部分错误。参考答案：1．句子2．左3．开始符号直接推导句子匹配4．直接归约开始符号5．传地址6．语法四、简答题1.已知文法G[S]为：S→dABA→aA|aB→Bb|εG[S]产生的语言是什么？参考答案：答：G[S]产生的语言是L(G[S])={danbm│n≥1,m≥0}。2.简述DFA与NFA有何区别?参考答案：答：DFA与NFA的区别表现为两个方面:一是NFA可以若干个开始状态，而DFA仅只一个开始状态。另一方面，DFA的映象M是从K×∑到K，而NFA的映象M是从K×∑到K的子集，即映象M将产生一个状态集合（可能为空集），而不是单个状态。5.何谓优化？按所涉及的程序范围可分为哪几级优化？参考答案：(1)优化：对程序进行各种等价变换，使得从变换后的程序出发，能产生更有效的目标代码。(2)三种级别：局部优化、循环优化、全局优化。五.计算题（10分）对下面的文法G：E-TE'E'-+E|εT-FT'T'-T|εF-PF'F'-*F'|εP-(E)|a|b|^(1)计算这个文法的每个非终结符的FIRST集和FOLLOW集。参考答案：解：（1）计算这个文法的每个非终结符的FIRST集和FOLLOW集。FIRST集合有：FIRST(E)=FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^};FIRST(E')={+,ε}FIRST(T)=FIRST(F)=FIRST(P)={(,a,b,^};FIRST(T')=FIRST(T)∪{ε}={(,a,b,^,ε};FIRST(F)=FIRST(P)={(,a,b,^};FIRST(F')=FIRST(P)={*,ε};FIRST(P)={(,a,b,^};FOLLOW集合有：FOLLOW(E)={),#};FOLLOW(E')=FOLLOW(E)={),#};FOLLOW(T)=FIRST(E')∪FOLLOW(E)={+,),#};//不包含εFOLLOW(T')=FOLLOW(T)=FIRST(E')∪FOLLOW(E)={+,),#};FOLLOW(F)=FIRST(T')∪FOLLOW(T)={(,a,b,^,+,),#};//不包含εFOLLOW(F')=FOLLOW(F)=FIRST(T')∪FOLLOW(T)={(,a,b,^,+,),#};FOLLOW(P)=FIRST(F')∪FOLLOW(F)={*,(,a,b,^,+,),#};//不包含ε(2)证明这个方法是LL(1)的。各产生式的SELECT集合有：SELECT(E-TE')=FIRST(T)={(,a,b,^};SELECT(E'-+E)={+};SELECT(E'-ε)=FOLLOW(E/)={),#}SELECT(T-FT')=FIRST(F)={(,a,b,^};SELECT(T'-T)=FIRST(T)={(,a,b,^};SELECT(T'-ε)=FOLLOW(T/)={+,),#};SELECT(F-PF')=FIRST(P)={(,a,b,^};SELECT(F'-*F')={*};SELECT(F'-ε)=FOLLOW(F')={(,a,b,^,+,),#};SELECT(P-(E))={(}SELECT(P-a)={a}SELECT(P-b)={b}SELECT(P-^)={^}可见，相同左部产生式的SELECT集的交集均为空，所以文法G[E]是LL(1)文法。(3)构造它的预测分析表。文法G[E]的预测分析表如下：第二套一、判断题1．对于数据空间的存贮分配，FORTRAN采用动态贮存分配策略。(N)2．甲机上的某编译程序在乙机上能直接使用的必要条件是甲机和乙机的操作系统功能完全相同。(N)3．递归下降分析法是自顶向上分析方法。(Y)4．产生式是用于定义词法成分的一种书写规则。(N)5．LR法是自顶向下语法分析方法。(Y)6．在SLR（1）分析法的名称中，S的含义是简单的。(Y)7．综合属性是用于“自上而下”传递信息。(N)8．符号表中的信息栏中登记了每个名字的属性和特征等有关信息，如类型、种属、所占单元大小、地址等等。(N)9．程序语言的语言处理程序是一种应用软件。(N)10．解释程序适用于COBOL和FORTRAN语言。(N)二、选择题1．文法G产生的_____的全体是该文法描述的语言。A．()句型B．()终结符集C．()非终结符集D．()句子2．若文法G定义的语言是无限集，则文法必然是_____。A．()递归的B．()前后文无关的C．()二义性的D．()无二义性的3．四种形式语言文法中，1型文法又称为_____文法。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.一个上下文无关文法G包括四个组成部分，它们是：一组非终结符号，一组终结符号，一个开始符号，以及一组_____。A．()句子B．()句型C．()单词D．()产生式9．文法分为四种类型，即0型、1型、2型、3型。其中2型文法是_____。A.()短语文法B．()正则文法C．()上下文有关文法D．()上下文无关文法10．文法G所描述的语言是_____的集合。A.()文法G的字母表V中所有符号组成的符号串B．()文法G的字母表V的闭包V*中的所有符号串C．()由文法的开始符号推出的所有终极符串D.()由文法的开始符号推出的所有符号串参考答案：1、D2、A3、C4、A5、B6、B7、A8、D9、D10、C三、填空题1．一个句型中的最左简单短语称为该句型的__句柄___。2．对于文法的每个产生式都配备了一组属性的计算规则，称为_语义规则_。3．一个典型的编译程序中，不仅包括__词法分析___、_语法分析_、_中间代码生成_、代码优化、目标代码生成等五个部分，还应包括表格处理和出错处理。4．从功能上说，程序语言的语句大体可分为_执行性_语句和_说明性_语句两大类。5．扫描器的任务是从_源程序_中识别出一个个_单词符号_。6．产生式是用于定义_语法范畴_的一种书写规则。参考答案：1．句柄2．语义规则3．词法分析语法分析中间代码生成4．执行性说明性5．源程序单词符号6．语法范畴四、简答题1.写一个文法，使其语言是奇数集，且每个奇数不以0开头。参考答案：解：文法G(N)：N→AB|BA→AC|DB→1|3|5|7|9D→B|2|4|6|8C→0|D五、计算题已知NFA=（{x,y,z},{0,1},M,{x},{z}），其中：M(x,0)={z},M(y,0)={x,y},M(z,0)={x,z},M(x,1)={x},M(y,1)=φ,M(z,1)={y},构造相应的DFA并最小化。参考答案：解：根据题意有NFA图:下表由子集法将NFA转换为DFA：下面将该DFA最小化：(1)首先将它的状态集分成两个子集：P1={A,D,E},P2={B,C,F}(2)区分P2:由于F(F,1)=F(C,1)=E,F(F,0)=F并且F(C,0)=C,所以F，C等价。由于F(B,0)=F(C,0)=C,F(B,1)=D,F(C,1)=E,而D，E不等价（见下步），从而B与C，F可以区分。有P21={C,F},P22={B}。(3)区分P1:由于A，E输入0到终态，而D输入0不到终态，所以D与A，E可以区分，有P11={A,E},P12={D}。(4)由于F(A,0)=B,F(E,0)=F,而B，F不等价，所以A，E可以区分。(5)综上所述，DFA可以区分为P={{A}，{B}，{D}，{E}，{C，F}}。所以最小化的DFA如下：第三套一、判断题1．一个LL(l)文法一定是无二义的。(N)2．正规文法产生的语言都可以用上下文无关文法来描述。(N)3．一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。(Y)4．目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。(N)5．逆波兰