编译原理习题及答案(整理后)

第一章1、将编译程序分成若干个“遍”是为了。

b．使程序的结构更加清晰2、构造编译程序应掌握。

a．源程序b．目标语言c．编译方法3、变量应当。

c．既持有左值又持有右值4、编译程序绝大多数时间花在上。

d．管理表格5、不可能是目标代码。

d．中间代码6、使用可以定义一个程序的意义。

a．语义规则7、词法分析器的输入是。

b．源程序8、中间代码生成时所遵循的是- 。

c．语义规则9、编译程序是对。

d．高级语言的翻译10、语法分析应遵循。

c．构词规则二、多项选择题1、编译程序各阶段的工作都涉及到。

b．表格管理c．出错处理2、编译程序工作时，通常有阶段。

a．词法分析b．语法分析c．中间代码生成e．目标代码生成三、填空题1、解释程序和编译程序的区别在于是否生成目标程序。

2、编译过程通常可分为5个阶段，分别是词法分析、语法分析中间代码生成、代码优化和目标代码生成。

3、编译程序工作过程中，第一段输入是源程序，最后阶段的输出为标代码生成程序。

4、编译程序是指将源程序程序翻译成目标语言程序的程序。

一、单项选择题1、文法G：S→xSx|y所识别的语言是。

a. xyxb. (xyx)*c.x n yx n(n≥0) d. x*yx*2、文法G描述的语言L(G)是指。

a. L(G)={α|S+⇒α , α∈V T*}b. L(G)={α|S*⇒α, α∈V T*}c. L(G)={α|S*⇒α,α∈(V T∪V N*)} d. L(G)={α|S+⇒α, α∈(V T∪V N*)}3、有限状态自动机能识别。

a. 上下文无关文法b. 上下文有关文法c.正规文法d. 短语文法4、设G为算符优先文法，G 的任意终结符对a、b有以下关系成立。

a. 若f(a)>g(b)，则a>bb.若f(a)<g(b)，则a<bc. a~b都不一定成立d. a~b一定成立5、如果文法G是无二义的，则它的任何句子α。

a. 最左推导和最右推导对应的语法树必定相同b. 最左推导和最右推导对应的语法树可能不同c. 最左推导和最右推导必定相同d. 可能存在两个不同的最左推导，但它们对应的语法树相同6、由文法的开始符经0步或多步推导产生的文法符号序列是。

a. 短语b.句柄c. 句型d. 句子7、文法G：E→E+T|TT→T*P|PP→(E)|I则句型P+T+i的句柄和最左素短语为。

a.P+T和ib. P和P+Tc. i和P+T+i d.P和T8、设文法为：S→SA|AA→a|b 则对句子aba，下面是规范推导。

a.S⇒SA⇒SAA⇒AAA⇒aAA⇒abA⇒abab.S⇒SA⇒SAA⇒AAA⇒AAa ⇒Aba⇒abac.S⇒SA⇒SAA⇒SAa⇒Sba⇒Aba⇒abad.S⇒SA⇒Sa⇒SAa⇒Sba⇒A ba⇒aba9、文法G：S→b|∧(T)T→T,S|S则FIRSTVT(T) 。

a. {b,∧,(}b. {b,∧,)}c.{b,∧,(,，}d.{b,∧,),，}10、产生正规语言的文法为。

a. 0型b. 1型c. 2型d. 3型11、采用自上而下分析，必须。

a. 消除左递归b. 消除右递归c. 消除回溯d. 提取公共左因子12、在规范归约中，用来刻画可归约串。

a. 直接短语b. 句柄c. 最左素短语d. 素短语13、有文法G：E→E*T|TT→T+i|i句子1+2*8+6按该文法G归约，其值为。

a. 23 B. 42 c.30 d. 1714、规范归约指。

a. 最左推导的逆过程b. 最右推导的逆过程c. 规范推导d. 最左归约的逆过程二、多项选择题1、下面哪些说法是错误的。

a. 有向图是一个状态转换图b. 状态转换图是一个有向图c.有向图是一个DFAd.DFA可以用状态转换图表示2、对无二义性文法来说，一棵语法树往往代表了。

a. 多种推导过程b. 多种最左推导过程c.一种最左推导过程d.仅一种推导过程e.一种最左推导过程3、如果文法G存在一个句子，满足下列条件之一时，则称该文法是二义文法。

a. 该句子的最左推导与最右推导相同b. 该句子有两个不同的最左推导c. 该句子有两棵不同的最右推导d. 该句子有两棵不同的语法树e.该句子的语法树只有一个4、有一文法G：S→ABA→aAb|εB→cBd|ε它不产生下面集合。

a. {a n b m c n d m|n,m≥0} b. {a n b n c m d m|n,m>0}c. {a n b m c m d n|n,m≥0}d. {a n b n c m d m|n,m≥0}e. {a n b n c n d n|n≥0}5、自下而上的语法分析中，应从开始分析。

a. 句型b. 句子c. 以单词为单位的程序d. 文法的开始符e. 句柄6、对正规文法描述的语言，以下有能力描述它。

a.0型文法b.1型文法c.上下文无关文法d.右线性文法e.左线性文法三、填空题1、文法中的终结符和非终结符的交集是。

词法分析器交给语法分析器的文法符号一定是，它一定只出现在产生式的部。

2、最左推导是指每次都对句型中的非终结符进行扩展。

3、在语法分析中，最常见的两种方法一定是分析法，另一是分析法。

4、采用语法分析时，必须消除文法的左递归。

5、树代表推导过程，树代表归约过程。

6、自下而上分析法采用、归约、错误处理、等四种操作。

7、Chomsky把文法分为种类型，编译器构造中采用和文法，它们分别产生和语言，并分别用和自动机识别所产生的语言。

四、判断题1、文法S→aS|bR|ε描述的语言是(a|bc)* ( )R→c S2、在自下而上的语法分析中，语法树与分析树一定相同。

（）3、二义文法不是上下文无关文法。

（）4、语法分析时必须先消除文法中的左递归。

（）5、规范归约和规范推导是互逆的两个过程。

（）6、一个文法所有句型的集合形成该文法所能接受的语言。

（）五、简答题1、句柄2、素短语3、语法树4、归约5、推导六、问答题1、给出上下文无关文法的定义。

2、文法G[S]：S→aSPQ|abQQP→PQbP→bbbQ→bccQ→cc（1）它是Chomsky哪一型文法？（2）它生成的语言是什么？3、按指定类型，给出语言的文法。

L={a i b j|j＞i≥1}的上下文无关文法。

4、有文法G：S→aAcB|BdA→AaB|cB→bScA|b（1）试求句型aAaBcbbdcc和aAcbBdcc的句柄；（2）写出句子acabcbbdcc的最左推导过程。

5、对于文法G[S]：S→（L）|aS|a L→L, S|S（1）画出句型（S,（a））的语法树。

（2）写出上述句型的所有短语、直接短语、句柄和素短语。

6、考虑文法G[T]：T→T*F|FF→F↑P|PP→（T）|i证明T*P↑（T*F）是该文法的一个句型，并指出直接短语和句柄。

单选[解答]1、选c。

2、选a。

3、选c。

4、虽然a与b没有优先关系，但构造优先函数后，a与b就一定存在优先关系了。

所以，由f(a)>g)(b)或f(a)<g(b)并不能判定原来的a与b之间是否存在优先关系：故选c。

5、如果文法对于d左推导，则必然有二义性。

故选a。

6、选c。

7、由图2-8-1的语法树和优先关系可以看出应选b。

8、规范推导是最左推导，故选d。

9、由T→T,…和T→(…得FIRSTVT(T))={(,，)}；由T→S得FIRSTVT(S)⊂FIRSTVT(T)，而FIRSTVT(S)={b,∧,(}；即FIRSTVT(T)={b,∧,(,，}；因此选c。

10、d 11、c 12、b 13、b 14、b多选解答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、自上而上5、语法分析6、移进接受7、4 2 型3型上下文无关语言正规语言下推自动机有限判断解答1、对2、错3、错4、错5、错6、错简答[解答]1、句柄：一个句型的最左直接短语称为该句型的句柄。

2、素短语：至少含有一个终结符的素短语，并且除它自身之外不再含任何更小的素短语。

3、语法树：满足下面4个条件的树称之为文法G[S]的一棵语法树。

①每一终结均有一标记，此标记为V N∪V T中的一个符号；②树的根结点以文法G[S]的开始符S标记；③若一结点至少有一个直接后继，则此结点上的标记为V N 中的一个符号；④若一个以A为标记的结点有K个直接后继，且按从左至右的顺序，这些结点的标记分别为X1,X2,…,X K，则A→X1,X2,…,X K，必然是G的一个产生式。

4、归约：我们称αγβ直接归约出αAβ，仅当A→γ是一个产生式，且α、β∈(V N∪V T)*。

归约过程就是从输入串开始，反复用产生式右部的符号替换成产生式左部符号，直至文法开始符。

5、推导：我们称αAβ直接推出αγβ，即αAβ⇒αγβ，仅当A→γ是一个产生式，且α、β∈(V N ∪V T)*。

如果α1⇒α2⇒…⇒αn，则我们称这个序列是从α1至α2的一个推导。

若存在一个从α1αn的推导，则称α1可推导出α。

推导是归约的逆过程。

n问答1[解答]一个上下文无关文法G是一个四元式（V T,V N,S, P），其中：是一个非空有限集，它的每●V T个元素称为终结符号；是一个非空有限集，它的每●V N个元素称为非终结符号，V T∩V N=Φ；是一个非终结符号，称为开●S始符号；是一个产生式集合（有限），●P每个产生式的形式是P→α，其中，P∈V N，α∈(V T∪V N)*。

开始符号S至少必须在某个产生式的左部出现一次。

2[解答]（1）由于产生式左部存在终结符号，且所有产生式左部符号的长度均小于等于产生式右部的符号长度，所以文法G[S]是Chomsky1型文法，即上下文有关文法。

（2）按产生式出现的顺序规定优先级由高到低（否则无法推出句子），我们可以得到：S⇒abQ⇒abcS⇒aSPQ⇒aabQPQ⇒aabPQ Q⇒aabbQQ⇒aabbcQ⇒aab bccS⇒aSPQ⇒aaSPQPQ⇒aaabQ PQPQ⇒aaabPQQPQ⇒aaabP QPQQ⇒aaaPPQQQ⇒aaabbPqqq⇒aaabbQ QQ⇒aaabbbcQQ⇒aaabbbc cQ⇒aaabbbccc……于是得到文法G[S]生成的语言L={a n b n c n|n≥1}3【解答】（1）由L={a i b j|j＞i≥1}知，所求该语言对应的上下文无关文法首先应有S→aSb型产生式，以保证b的个数不少于a的个数；其次，还需有S→Sb或S →bS型的产生式，用以保证b 的个数多于a的个数；也即所求上下文无关文法G[S]为：G[S]：S→aSb|Sb|b4【解答】（1）分别画出对应两句型的语法树，如图2-8-2所示句柄:AaB BdSS⇒aAcB⇒aAaBcB⇒acaBcB ⇒acabcB⇒acabcbScA⇒acab cbBdcA⇒acabcbbdcA⇒acabcbbdcc（1如图（2）由图2-8-3可知：①短语：S、a、(a)、S,(a)、(S,(a))；②直接短语：a、S；③句柄：S；④素短语：素短语可由图2-8-3中相邻终结符之间的优先关系求得，即；因此素短语为a。