编译原理复习题及答案解析

编译原理复习题及答案

一、选择题

1.一个正规语言只能对应(B)

A一个正规文法B一个最小有限状态自动机2.文法G[A]：

A-£AfaBB-AbB-a是(A)

A正规文法B二型文法3.下面说法正确的是(A)

A一个SLR(1)文法一定也是LALR(1)文法B一个LR(1)文法一定也

是LALR(1)文法

4.一个上下文无关文法消除了左递归，提取了左公共因子后是满足LL

(1)文法的(A)

A必要条件B充分必要条件5.下面说法正确的是(B)

A一个正规式只能对应一个确定的有限状态自动机B一个正规语言可能对

应多个正规文法

6.算符优先分析与规范归约相比的优点是(A)

A归约速度快B对文法限制少7.一个LR(1)文法合并同心集后若不是

LALR(1)文法(B)

A则可能存在移进/归约冲突B则可能存在归约/归约冲突

C则可能存在移进/归约冲突和归约/归约冲突8.下面说法正确的是(A)

ALe某是一个词法分析器的生成器BYacc是一个语法分析器9.下面说法

正确的是(A)

A一个正规文法也一定是二型文法

B一个二型文法也一定能有一个等价的正规文法10.编译原理是对(C)。

A、机器语言的执行B、汇编语言的翻译

C、高级语言的翻译

D、高级语言程序的解释执行C.FORTRAN

D.PASCAL

11.(A)是一种典型的解释型语言。A.BASICB.C

12.把汇编语言程序翻译成机器可执行的目标程序的工作是由(B)完成

的。A.编译器B.汇编器C.解释器D.预处理器13.用高级语言编写的程序经编

译后产生的程序叫(B)A.源程序B.目标程序C.连接程序14.(C)不是编译程

序的组成部分。A.词法分析程序B.代码生成程序

D.解释程序D.语法分析程序

C.设备管理程序

15.通常一个编译程序中，不仅包含词法分析，语法分析，语义分析，中

间代码生成，代码优化，目标代码生成等六个部分，还应包括(C)。A.模拟执

行器B.解释器C.表格处理和出错处理D.符号执行器16.编译程序绝大多数

时间花在(D)上。A.出错处理B.词法分析

C.目标代码生成

D.表格管理

17.源程序是句子的集合，(B)可以较好地反映句子的结构。A.线性表B.

树C.完全图18.词法分析器的输出结果是(D)。A、单词自身值

C、单词的种别编码19.词法分析器不能(D)A.识别出数值常量

D.堆栈

B、单词在符号表中的位置D、单词的种别编码和自身值B.过滤源程序中

的注释D.发现括号不匹配

C.扫描源程序并识别记号

20.文法：G：S—某S某|y所识别的语言是(D)。

A、某y某B、(某y某)某21.如果文法G是无二义的，则它的任何句子

«(A)A.最左推导和最右推导对应的语法树必定相同

B.最左推导和最右推导对应的语法树可能不同C.最左推导和最右推导

必定相同

C、某某y某某

D、某ny某n(n-0)

D.可能存在两个不同的最左推导，但它们对应的语法树相同22.正则文

法(A)二义性的。

A.可以是B.一定不是

C.一定是

23.(B)这样一些语言，它们能被确定的有穷自动机识别，但不能用正则

表达式表示。A.存在B.不存在C.无法判定是否存在24.给定文法AfbAlca,

为该文法句子的是(C)A.bbaB.cabC.bca

D.cba

25.设有文法G[S]：SSl|SO|Sa|Sc|a|b|c,下列符号串中是该文法的句

子有(D)A.abOB.aOcOlC.aObOaD.bcl026.文法G产生的(D)的全体是该文法描述

的语言。A.句型B.终结符集C.非终结符集27.若文法G定义的语言是无限

集，则文法必然是(A)A.递归的B.上下文无关的C.二义性的28.描述一个语

言的文法是(B)A.唯一的B.不唯一的29.一个文法所描述的语言是(A)A.唯一

的B.不唯一的30.采用自上而下分析，必须(A)。A、消除回溯

C、消除右递归

C.可能唯一C.可能唯一

B、消除左递归

D.句子

D.无二义性的

D、提取公共左因子

31.编译过程中，语法分析器的任务是(A)①分析单词的构成②分析单词

串如何构成语句③分析语句是如何构成程序④分析程序的结构

A.②③B.④C.①②③④D.②③④32.词法分析器的输入是(A)o

A.符号串B.源程序C.语法单位D.目标程序33.两个有穷自动机等价

是指它们的(C)。A.状态数相等

C.所识别的语言相等

B.有向弧数相等

D.状态数和有向弧数相等

34.若状态k含有项目“AfQ・”，且仅当输入符号a£FOLLOW(A)时，

才用规则“A-a”归约的语法分析方法是(D)。A.LALR分析法B.LR(O)分析

法C.LR(1)分析法D.SLR⑴分析法35.若a为终结符，贝I」Afa*aP为(B)

项目。A.归约B.移进

C.接受

D.待约

36.在使用高级语言编程时,首先可通过编译程序发现源程序的全部和部

分(A)错误。A.语法B.语义C.语用D.运行

37.乔姆斯基(Chomky)把文法分为四种类型，即0型、1型、2型、3

型。其中3型文法是(B)A.非限制文法B.正则文法C.上下文有关文法D.上下文

无关文法38.一个句型中的(A)称为该句型的句柄。A.最左直接短语B.最右直

接短语

C.终结符D.非终结符

39.在自底向上的语法分析方法中，分析的关键是(D)

A.寻找句柄B.寻找句型C.消除递归40.在自顶向下的语法分析方法中，

分析的关键是(C)A.寻找句柄B.寻找句型C.消除递归

D.选择候选式D.选择候选式

41.在LR分析法中，分析栈中存放的状态是识别规范句型(C)的DFA状

态。A.句柄B.前缀C.活前缀D.LR(0)项目

42.一个上下文无关文法G包括四个组成部分，它们是一组非终结符号，

一组终结符号，一个开始符号，以及一组(B)A.句子B.产生式C.单词D.句型

43.词法分析器用于识别(C)A.句子B.产生式

C.单词

D.句型D.目标程序D.代码生成D.状态集D.句子

44.编译程序是一种(B)A.汇编程序B.翻译程序

C.解释程序

45.按逻辑上划分，编译程序第三步工作是(A)A.语义分析B.词法分析C.

语法分析46.在语法分析处理中，FIRST集合、FOLLOW集合均是(B)A.非终结

符集B.终结符集C.字母表47.编译程序中语法分析器接收以(A)为单位的输

入。A.单词B.表达式C.产生式48.编译过程中，语法分析器的任务就是(B)A.

分析单词是怎样构成的

C.分析语句和说明是如何构成程序的

B.分析单词串是如何构成语句和说明的D.分析程序的结构

D.个数是常量D.图灵机D.语义分析

49.若一个文法是递归的，则它所产生的语言的句子(A)。A.是无穷多个

B.是有穷多个C.是可枚举的50.识别上下文无关语言的自动机是(C)A.下推自

动机B.NFA51.编译原理各阶段工作都涉及(B)A.词法分析B.表格管理

C.DFA

C.语法分析

52.正则表达式R1和R2等价是指(C)

A.R1和R2都是定义在一个字母表上的正则表达式

B.R1和R2中使用的运算符相同C.R1和R2代表同一正则集D.R1和R2代

表不同正则集

53.已知文法G[S]:S-ALA-Al|S0|0o与G等价的正规式是(C)

A.0(0|l)某B.1某|0某1C.O(1|1O)某154.与(a|b)某(a|b)等价的正规

式是(0。A.a某|b某B.某b)某(a|b)55.(D)文法不是LL(1)的。A.递归B.右

递归

C.(a|b)(a|b)某C.2型

D.1(10|01)某OD.(a|b)某

D.含有公共左因子的

56.给定文法A-*bA|cc,则符号串①cc②bcbc③bcbcc④bccbcc⑤bbbcc

中，是该文法句子的是(D)A.①B.③④⑤C.②④D.①⑤57.LR(1)文法都是()

A.无二义性且无左递归

C.无二义性但可能是左递归

B,可能有二义性但无左递归D.可以既有二义性又有左递归

D.7

58.文法E-E+E|E某E|i的句子i某i+i某i有(C)棵不同的语法树。

A.IB.3C.559.文法S->aaS|abc定义的语言是(C)。

A.{a2kbe|k>O}B.{akbc|k>O}C.{a2k-lbc|k>O}C.接受项目C.移进/归约

D.{akakbc|k>O}D.待约项目D.归约/归约

60.若B为非终结符，则A-.B为(D)。

A.移进项目B.归约项目61.同心集合并可能会产生新的⑻冲突。A.二义

B.移进/移进

62.就文法的描述能力来说，有(C)

A.SLR(l)LR(0)B.LR(1)LR(0)C.SLR(1)LR(1)D.无二义文法

LR(1)63.如图所示自动机M,请问下列哪个字符串不是M所能识别的(D)。

A.bbaaB.abbaC.ababD.£abb

64.有限状态自动机能识别(C)

A.上下文无关语言B.上下文有关语言

C.正规语言

D.0型文法定义的语言

65.己知文法G是无二义的，则对G的任意句型a(A)

A.最左推导和最右推导对应的语法树必定相同

B.最左推导和最右推导对应的语法树可能相同C.最左推导和最右推导必

定相同

D.可能存在两个不同的最左推导，但他们对应的语法树相同66.(B)不是

DFA的成分

A.有穷字母表B.多个初始状态的集合

C.多个终态的集合

D.转换函数

D.a+b某c+d

D.(a(b+c))+d

67.与逆波兰式(后缀表达式)ab+c某d+对应的中缀表达式是(B)

A.a+b+c某dB.(a+b)某c+dC.(a+b)某(c+d)68.后缀式abc+d+可用表达式

(B)来表示。A.((a+b)c)+dB.(a+(bc))+d69.表达式A某(B-C某(C/D))的后

缀式为(B)。A.ABC-CD/某某B.ABCCD/某-某

C.(a(b+c))+d

C.ABC-某CD/某D.以上都不对

70.(D)不是NFA的成分。A.有穷字母表B.初始状态集合C.终止状态集合

D.有限状态集合

二、问答题

1.将文法G[S]改写为等价的G,[S],使G，[S]不含左递归和左公共因

子。G[S]：S-*bSAe|bAA-*Abd答：

文法G[S]改写为等价的不含左递归和左公共因子的G'[S]为：

S—bBB-SAe|AA-dA'

A'-bA'|e

2.将文法G[S]改写为等价的G'[S],使G'[S]不含左递归和左公共因

子。G[S]：S->SAe|Ae

A-dAbAdA|d答：

文法G[S]改写为等价的不含左递归和左公共因子的G'[S]为：

S-AeS'S'-AeS'|£A->dA,-ABIeB-bA|e

3.将文法G[S]改写为等价的G'[S],使G'[S]不含左递归和左公共因

子。G[S]：S-[AA-B]|ASB-aB|a答：

文法GES]改写为等价的不含左递归和左公共因子的G'[S]为：

Sf[AAfB]A'A'-SA'|£B-aB'

B，fB|£

4.判断下面文法是否为LL(1)文法，若是,请构造相应的LL(1)分析表。

S-*aH

H-*aMd|dM-*Ab|eA-*aMe答:

首先计算文法的FIRST集和FOLLOW集如下表。

文法的FIRST集和FOLLOW集非终结符FIRST集FOLLOW集

S{a}..................{#}...H{#}.・・{a,d}...........M{a,e,e){d,b}A{b}....{a,

e).........由于predict(HfaMd)Apredict(H—d)-{a}Cl{d}-

predict(MfAb)PIpredict(M-*E)={a,e}A{d,b}=predict

(A-*aM)-predict(Afe):{a}Cl{e}二所以该文法是LL(1)文法，LL(1)分析

表如下表。adbS-aH.H-aMd-d.M-Ab.-£-£A-aM.5.判断下面文法是否

为LL⑴文法，若是，请构造相应的LL(1)分析表。

S-*aDD-STe|eT-bH|HH->d£答：

首先计算文法的FIRST集和FOLLOW集如下表。非终结符FIRST集FOLLOW

集S{a}{扎b,d,e}.D{a,E}{#,b,d,e}

efAbfe.#

在项目集10中：有移进项目E-・aTd和归约项目E--

存在移进-归约冲突，所以G不是LR(O)文法。

若产生式排序为：(O)S'-E(l)EfaTd(2)Ef£(3)TfEb(4)T-a

G,的LR(O)项目集族及识别活前缀的DFA如下图：

由产生式知：

Follow(E)={#,b}Follow(T)={d}在10,12中：

Follow(E)n{a}={#,b}C{a}二在15中：

Follow(E)A{a}={#»b)A(a)=Follow(T)C{a}={d}Q(a}=

Follow(T)nFollow(E)={d}n{#,b}=

所以在10,12,15中的移进-归约和归约-归约冲突可以由Follow集解决，所以

G'是SLR(l)文法。构造的SLR(1)分析表如下表:

ACTI0NG0T0nameabd#ET0S2r2r211acc2S5r2r2433S64S75S5r2r4r243

67rlr3rll5.给出文法G[S]的LR(1)项目集规范族中10项目集的全体项

目。G[S]为:S-*BD|DB-aD|bD-*B

10:

答：10：

16.给出文法G[S]的LR(1)项目集规范族中10项目集的全体项目。G[S]

为：SfD;D|DDfDB|BBfa|b

10:

答：10:

17.给出文法G[S]的LR(1)项目集规范族中10项目集的全体项目。G[S]

为：S->S;V|W->VaA|AA->b(S)|e

10:

答：10:

18.文法G[M]及其LR分析表如下，请给出对串dbba#的分析过程。

G[M]:l)M->VbA

2)V-d3)V-e

4)A-a5)AfAba

6)A-£ACTI0NG0T0namebda#MA0r3S311acc2s43r24r6s5r665r4r46s7rl7S8

8r5r5答：对串dbba#的分析过程如下表步骤状态栈文法符号栈剩余输入符号动

作#(1帅@#移进10#dbba#用V-d归约203#Vbba#移进302#Vbba#用A-*£归约

4024#VbAba#50246#VbAba#移进602467#VbAba#移进7024678#VbA#用A-Aba归

约80246#M#用MfVbA归约901接受

19.文法G[S]及其LR分析表如下，请给出对输入串da;aoa#的分析过

程。

G[S]:0)SzfS

1)S-dSoS

2)S-dS

3)S-S;S

V2

4)S-aname012345678dS2S2S2S2aS3r4S7r3rlACTI0N;S4r4S4r3S4aS3S3S3S

3#accr4r2r3rlG0T0S1568答：输入串da;aoa#的分析过程如下表：步骤状态栈

文法符号栈

#10#d202#da3023#dS4025#dS;50254#dS;a602543#dS;S702546#dS8025#dSo90257

#dSoal002573#dSoS1102578#S1201剩余输入符号

da;aoa#a;aoa#;aoa#;aoa#aoa#oa#oa#oa#a####动作移进移进用S-*a归约移进

移进用S-*a归约用S->S;S归约移进移进用S->a归约用S->dSoS归约接受

20.文法G[M]及其LR