1、编译原理复习题及答案一、 选择题1 一个正规语言只能对应( B )A 一个正规文法 B 一个最小有限状态自动机2 文法 GA：A AaB BAb Ba 是( 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
2、 )A 归约速度快 B 对文法限制少7 一个 LR（1）文法合并同心集后若不是 LALR（1）文法( B )A 则可能存在移进/归约冲突B 则可能存在归约/归约冲突C 则可能存在移进/归约冲突和归约/归约冲突8 下面说法正确的是( A )A Lex 是一个词法分析器的生成器 B Yacc 是一个语法分析器9 下面说法正确的是( A )A 一个正规文法也一定是二型文法B 一个二型文法也一定能有一个等价的正规文法10 编译原理是对(C)。A、机器语言的执行 B、汇编语言的翻译C、高级语言的翻译 D、高级语言程序的解释执行11 用高级语言编写的程序经编译后产生的程序叫(B)A源程序 B目标程序 C连
3、接程序 D解释程序12 (C)不是编译程序的组成部分。A.词法分析程序 B.代码生成程序 C.设备管理程序 D.语法分析程序13 通常一个编译程序中，不仅包含词法分析，语法分析，语义分析，中间代码生成，代码优化，目标代码生成等六个部分，还应包括(C)。A模拟执行器 B解释器 C表格处理和出错处理 D符号执行器14 源程序是句子的集合，(B)可以较好地反映句子的结构。A. 线性表 B. 树 C. 完全图 D. 堆栈15 词法分析器的输出结果是(D)。A、单词自身值 B、单词在符号表中的位置C、单词的种别编码 D、单词的种别编码和自身值16 词法分析器不能(D)A. 识别出数值常量 B. 过滤源程
4、序中的注释C. 扫描源程序并识别记号 D. 发现括号不匹配17 文法：G：S xSx | y 所识别的语言是 (D)。A、xyx B、(xyx)* C、x*yx* D、x nyxn (n0)18 如果文法 G 是无二义的，则它的任何句子 (A)A最左推导和最右推导对应的语法树必定相同B最左推导和最右推导对应的语法树可能不同C最左推导和最右推导必定相同D可能存在两个不同的最左推导，但它们对应的语法树相同19 正则文法(A) 二义性的。A. 可以是 B. 一定不是 C. 一定是20 (B)这样一些语言，它们能被确定的有穷自动机识别，但不能用正则表达式表示。A. 存在 B. 不存在 C. 无法判定是
5、否存在21 给定文法 AbA | ca，为该文法句子的是 (C)A. bba B. cab C. bca D. cba22 设有文法 GS：SS1|S0|Sa|Sc|a|b|c，下列符号串中是该文法的句子有 (D)A. ab0 B. a0c01 C. a0b0a D. bc1023 描述一个语言的文法是(B)A唯一的 B. 不唯一的 C. 可能唯一24 一个文法所描述的语言是(A)A唯一的 B. 不唯一的 C. 可能唯一25 采用自上而下分析，必须(A)。A、消除回溯 B、消除左递归C、消除右递归 D、提取公共左因子26 编译过程中，语法分析器的任务是(A) 分析单词的构成 分析单词串如何构成
6、语句 分析语句是如何构成程序 分析程序的结构A. B. C. D. 27 词法分析器的输入是( A)。A符号串 B源程序 C语法单位 D目标程序28 两个有穷自动机等价是指它们的(C)。A状态数相等 B有向弧数相等C所识别的语言相等 D状态数和有向弧数相等29 若状态 k 含有项目“A ”，且仅当输入符号 aFOLLOW(A)时，才用规则“A ”归约的语法分析方法是(D) 。ALALR 分析法 BLR(0)分析法 CLR(1)分析法 DSLR(1)分析法30 若 a 为终结符，则 A a 为(B)项目。A归约 B移进 C接受 D待约31 在使用高级语言编程时,首先可通过编译程序发现源程序的全部
7、和部分(A)错误。A. 语法 B. 语义 C. 语用 D. 运行32 乔姆斯基(Chomsky)把文法分为四种类型，即 0 型、1 型、2 型、3 型。其中 3 型文法是(B)A. 非限制文法 B. 正则文法 C. 上下文有关文法 D. 上下文无关文法33 一个上下文无关文法 G 包括四个组成部分，它们是一组非终结符号，一组终结符号，一个开始符号，以及一组(B)A. 句子 B. 产生式 C. 单词 D. 句型34 词法分析器用于识别(C)A. 句子 B. 产生式 C. 单词 D. 句型35 编译程序是一种(B)A. 汇编程序 B. 翻译程序 C. 解释程序 D. 目标程序36 按逻辑上划分，编
8、译程序第三步工作是(A)A. 语义分析 B. 词法分析 C. 语法分析 D. 代码生成37 在语法分析处理中，FIRST 集合、FOLLOW 集合均是(B)A. 非终结符集 B.终结符集 C. 字母表 D. 状态集38 编译程序中语法分析器接收以(A)为单位的输入。A. 单词 B. 表达式 C. 产生式 D. 句子39 编译过程中，语法分析器的任务就是(B)A. 分析单词是怎样构成的 B. 分析单词串是如何构成语句和说明的C. 分析语句和说明是如何构成程序的 D. 分析程序的结构40 若一个文法是递归的，则它所产生的语言的句子(A)。A.是无穷多个 B.是有穷多个 C.是可枚举的 D.个数是常
9、量41 识别上下文无关语言的自动机是(C)A. 下推自动机 B. NFA C. DFA D. 图灵机42 编译原理各阶段工作都涉及(B)A.词法分析 B.表格管理 C.语法分析 D.语义分析43 正则表达式 R1 和 R2 等价是指(C)A. R1 和 R2 都是定义在一个字母表上的正则表达式B. R1 和 R2 中使用的运算符相同C. R1 和 R2 代表同一正则集D. R1 和 R2 代表不同正则集44 已知文法 GS:SA1， AA1|S0|0 。与 G 等价的正规式是(C)A. 0(0|1)* B. 1*|0*1 C. 0(1|10)*1 D. 1(10|01)*045 与(a|b)*
10、(a|b)等价的正规式是(C)。A.a*| b* B.(ab)*(a|b) C. (a|b)(a|b)* D.(a|b)*46 (D)文法不是 LL(1)的。A. 递归 B. 右递归 C. 2 型 D.含有公共左因子的47 给定文法 AbA|cc ，则符号串 cc bcbc bcbcc bccbcc bbbcc 中，是该文法句子的是(D)A. B. C. D. 48 LR(1)文法都是()A. 无二义性且无左递归 B. 可能有二义性但无左递归C. 无二义性但可能是左递归 D. 可以既有二义性又有左递归49 文法 EE+E|E*E|i 的句子 i*i+i*i 有(C)棵不同的语法树。A. 1 B
11、. 3 C. 5 D.750 文法 SaaS|abc 定义的语言是(C)。A.a2kbc|k0 B.akbc|k0 C.a2k-1bc|k0 D.akakbc|k051 若 B 为非终结符，则 A .B 为(D)。A.移进项目 B.归约项目 C.接受项目 D.待约项目52 同心集合并可能会产生新的(D)冲突。A.二义 B.移进/移进 C.移进/归约 D.归约/归约53 就文法的描述能力来说，有(C)ASLR(1) LR(0) BLR(1) LR(0) CSLR(1) LR(1) D无二义文法 LR(1)54 如图所示自动机 M，请问下列哪个字符串不是 M 所能识别的(D)。A. bbaa B.
12、 abba C. abab D. aabb55 有限状态自动机能识别(C)A.上下文无关语言 B.上下文有关语言 C.正规语言 D.0 型文法定义的语言56 已知文法 G 是无二义的，则对 G 的任意句型 (A)A.最左推导和最右推导对应的语法树必定相同B.最左推导和最右推导对应的语法树可能相同C.最左推导和最右推导必定相同D.可能存在两个不同的最左推导，但他们对应的语法树相同57 (B)不是 DFA 的成分A.有穷字母表 B.多个初始状态的集合 C.多个终态的集合 D.转换函数58 与逆波兰式(后缀表达式 )ab+c*d+对应的中缀表达式是 (B)A. a+b+c*d B. (a+b)* c
13、+d C. (a+b)* (c+d) D. a+b*c+d59 后缀式 abc+d+可用表达式(B)来表示。A( (a+b)c)+d B(a+(bc)+d C (a(b+c)+d D(a(b+c)+d60 表达式 A*(B-C*(C/D)的后缀式为(B)。AABC-CD/* BABCCD/*-* CABC-*CD/* D以上都不对61 (D)不是 NFA 的成分。A. 有穷字母表 B. 初始状态集合 C. 终止状态集合 D. 有限状态集合二、 问答题1 将文法 GS 改写为等价的 GS，使 GS不含左递归和左公共因子。GS： SbSAe | bAAAb | d答：文法 GS 改写为等价的不含左
14、递归和左公共因子的 GS为：SbB BSAe | AAd A A bA | 2 将文法 GS 改写为等价的 GS，使 GS不含左递归和左公共因子。GS： SSAe|Ae AdAbA|dA|d答：文法 GS 改写为等价的不含左递归和左公共因子的 GS为： S AeSS AeS| A dA A AB| B bA | 3 将文法 GS 改写为等价的 GS，使 GS不含左递归和左公共因子。GS： SAAB|ASBaB|a答：文法 GS 改写为等价的不含左递归和左公共因子的 GS为：S AA BAASA|B aBBB|4 判断下面文法是否为 LL(1)文法，若是,请构造相应的 LL(1)分析表。SaHH
15、aMd | dMAb | AaM | e答：首先计算文法的 FIRST 集和 FOLLOW 集如下表。文法的 FIRST 集和 FOLLOW 集 非终结符 FIRST 集 FOLLOW 集S a. # .H a ，d. # .M a ，e ， d ，bA a ，e. b由于 predict（HaMd）predict（Hd ）=ad = predict（MAb）predict（M）=a ，ed ，b = predict（AaM）predict（Ae）= a e = 所以该文法是 LL(1)文法，LL(1)分析表如下表。a d b e #S aH . H aMd d. M Ab . Ab A aM
16、. e. 5 判断下面文法是否为 LL(1)文法，若是，请构造相应的 LL(1)分析表。SaDDSTe|TbH|HHd|答：首先计算文法的 FIRST 集和 FOLLOW 集如下表。 非终结符 FIRST 集 FOLLOW 集S a #，b，d，e.D a， #，b，d，e T b，d， eH d， e由于 predict（DSTe）predict（D）=a# ，b ，d ，e =predict（TbH）predict（TH）=be =predict（Hd）predict（H）= d e =所以该文法是 LL(1)文法，LL(1)分析表如下表：a e b d #S aD. D STe T H
17、. bH H . H d . 6 判断下面文法是否为 LL(1)文法，若是，请构造相应的 LL(1)分析表。SaDDSTe|TbMMbHHM|答：文法的 FIRST 集和 FOLLOW 集非终结符 FIRST 集 FOLLOW 集S a. # ，bD a ， # ，bT b. eM b. eH b ， e由于 predict（DSTe）predict（D）=a# ，b=predict（HM）predict（H）= b e =所以该文法是 LL(1)文法，LL(1)分析表如下表：a e b #S aD. D STe T bM M bH H M. 7 某语言的拓广文法 G为：(0) SS(1) S
18、 Db|B(2) D d|(3) B Ba|证明 G 不是 LR(0)文法而是 SLR(1)文法，请给出 SLR(1)分析表。答：拓广文法 G，增加产生式 SS在项目集 I0 中：有移进项目 D d 归约项目 D 和 B 存在移进-归约和归约-归约冲突，所以 G 不是 LR(0)文法。若产生式排序为：(0) SS(1) S Db(2) S B(3) D d(4) D (5) B Ba(6) B G的 LR(0)项目集族及识别活前缀的 DFA 如下图：由产生式知Follow(S)=# Follow(D)= bFollow(B)= a ,#在 I0 中:Follow(D) d= b d=Follo
19、w(B) d= a ,# d=Follow(D) Follow(B)= ba ,# =在 I3 中:Follow(S) a=#a=所以在 I0，I 3 中的移进- 归约和归约- 归约冲突可以由 Follow 集解决,所以 G 是 SLR(1)文法, 构造的 SLR(1)分析表如下表：ACTION GOTO状态b d a # S D B0 r4 S4 r6 r6 1 2 31 acc 2 S5 3 S6 r2 4 r3 5 r1 6 r5 r5 8 给出与正规式 R（ab）*（a|b* ）ba 等价的 NFA。答：与正规式 R 等价的 NFA 如下图9 给出与正规式 R（(ab)*|b）*（a|
20、(ba)*）a 等价的 NFA。答：与正规式 R 等价的 NFA 如下图10 给出与正规式 R（aba） *（(ba) *|b）b 等价的 NFA。答：与正规式 R 等价的 NFA 如下图11 将下图的 NFA 确定化为 DFA。答：用子集法确定化如下表I Ia Ib 状态X,1,21,21,2,31,2,Y1,21,21,2,Y1,21,2,31,2,31,2,31,2,3X123确定化后如下图：12 将下图的 NFA 确定化为 DFA。答：用子集法确定化如下表I Ia Ib 状态X,0,1,30,1,32,3,Y1,32,YY0,1,30,1,31,3.1,3.2,3,Y2,3,YY2,Y
21、YX1234Y确定化后如下图13 某语言的拓广文法 G为：(0) ST (1) T aBd|(2) B Tb| 证明 G 不是 LR(0)文法而是 SLR(1)文法，请给出 SLR(1)分析表。答：拓广文法 G，增加产生式 ST 在项目集 I0 中：有移进项目 T aBd 和归约项目 T 存在移进-归约冲突，所以 G 不是 LR(0)文法。 若产生式排序为： (0) ST(1) T aBd(2) T (3) B Tb(4) B G的 LR(0)项目集族及识别活前缀的 DFA 如下图所示：识别 G活前缀的 DFA由产生式知：Follow(T)=#,b Follow(B)= d在 I0 中： Fo
22、llow(T) a=# ，b a=在 I2 中：Follow(B) a= d a=Follow(T) a=# ，b a=Follow(B) Follow(T) = d# ，b=所以在 I0，I 2，中的移进- 归约和归约- 归约冲突可以由 Follow 集解决，所以 G 是 SLR(1)文法。 构造的 SLR(1)分析表如下表。SLR(1)分析表ACTION GOTOnamea b d # T B0 S2 r2 r2 1 1 acc 2 S2 r2 r4 r2 4 33 S5 4 S6 5 r1 r1 6 r3 14 某语言的文法 G 为： E aTd|T Eb|a证明 G 不是 LR(0)文
23、法而是 SLR(1)文法，请给出该文法的 SLR(1)分析表。答：拓广文法 G，增加产生式 SE在项目集 I0 中： 有移进项目 E aTd和归约项目 E 存在移进-归约冲突，所以 G 不是 LR(0)文法。 .若产生式排序为：(0) SE (1) E aTd (2) E (3) T Eb (4) T aG的 LR(0)项目集族及识别活前缀的 DFA 如下图：由产生式知：Follow(E)=# ，b Follow(T)= d在 I0 ，I 2 中:Follow(E) a=# ，b a=在 I5 中:Follow(E) a=# ，b a=Follow(T) a= d a=Follow(T) Fo
24、llow(E) = d # ，b=所以在 I0 ， I2 ， I5 中的移进- 归约和归约-归约冲突可以由 Follow 集解决,所以 G是 SLR(1)文法。构造的 SLR(1)分析表如下表：ACTION GOTOnamea b d # E T0 S2 r2 r2 1 1 acc 2 S5 r2 r2 4 33 S6 4 S7 5 S5 r2 r4 r2 4 36 r1 r1 7 r3 15 给出文法 GS的 LR(1)项目集规范族中 I0 项目集的全体项目。GS为： S BD|DB aD|bD BI0:答：I0：16 给出文法 GS的 LR(1)项目集规范族中 I0 项目集的全体项目。GS
25、为： S D;D|DD DB|BB a|bI0:答：I0:17 文法 GM及其 LR 分析表如下，请给出对串 dbba#的分析过程。GM: 1) M VbA2) V d3) V 4) A a5) A Aba6) A ACTION GOTOnameb d a # M A V0 r3 S3 1 21 acc 2 S4 3 r2 4 r6 S5 r6 6 5 r4 r4 6 S7 r1 7 S8 8 r5 r5 答：对串 dbba#的分析过程如下表步骤 状态栈 文法符号栈 剩余输入符号 动作12345678900302024024602467024678024601#d#V#Vb#VbA#VbAb#
26、VbAba#VbA#Mdbba#bba#bba#ba#ba#a#移进用 V d 归约移进用 A 归约移进移进用 A Aba 归约用 M VbA 归约接受18 文法 GS及其 LR 分析表如下，请给出对输入串 da;aoa#的分析过程。GS: 0) SS1) SdSoS2) S dS3) S S;S 4) S a ACTION GOTOnamed a ; a # S0 S2 S3 S3 11 S4 acc 2 S2 S3 53 r4 r4 r4 4 S2 S3 65 S7 S4 r2 6 r3 r3 r3 7 S2 S3 88 r1 S4 r1 答：输入串 da;aoa#的分析过程如下表：步骤
27、状态栈 文法符号栈 剩余输入符号 动作123456789101112 002023025025402543025460250257025730257801#d#da#dS#dS;#dS;a#dS;S#dS#dSo#dSoa#dSoS#Sda;aoa#a;aoa#;aoa#;aoa#aoa#oa #oa #oa #a #移进移进用 S a 归约移进移进用 S a 归约用 S S;S 归约移进移进用 S a 归约用 SdSoS 归约接受19 文法 GM及其 LR 分析表如下，请给出对串 dada#的分析过程。GM: 1) S VdB2) V e3) V 4) B a 5) B Bda6) B AC
28、TION GOTO状态d e a # S B V0 r3 S3 1 21 acc 2 S4 3 r2 4 r6 S5 r6 6 5 r4 r4 6 S7 r1 7 S8 8 r5 r5 答：对串 dada#的分析过程如下表步骤 状态栈 文法符号栈 剩余输入符号 动作1234567890020240245024602467024678024601#V#Vd#Vda#VdB#VdBd#VdBda#VdB#Sdada#dada#ada#da#da#a#用 V 归约移进移进用 B a 归约移进移进用 B Bda 归约用 S VdB 归约接受20 按指定类型给出下列语言的文法。(1) L1= anbm
29、c| n0，m0 用正规文法。(2) L2= a0n1n bdm | n0，m0 用二型文法。 答：(1) 描述 L1 语言的正规文法如下： S aS|AA bA|bB B c(2) 描述 L2 语言的二型文法如下：S AB A aT T 0T1|01 B bD D dD|d 21 下列语言或文法确切属于按乔姆斯基（Chomsky）分类的哪种类型 ,请填在（ ）内。（1） L1= a0n1nbdm | n0，m 0 ( ) （2） L2= anbncnbm | n0,m0 ( ) （3） L3= anbmc| n0,m0 ( ) （4） GA:AaB| BAb|a ( )（5） GE:EE+E
30、|E*E|(E)|i ( )答：（1） L1= a0n1nbdm | n0，m 0 ( 2 型 ) （2） L2= anbncnbm | n0,m0 ( 1 型 ) （3） L3= anbmc| n0,m0 ( 3 型 ) （4） GA:AaB| BAb|a ( 2 型 ) （5） GE:EE+E|E*E|(E)|i ( 2 型 )22 按指定类型给出下列语言的文法。(1) L 1= candbm| n0,m0 用正规文法。(2) L2= 0na1nbmcm| n0，m 0 用二型文法。答：（1）解：描述 L1 语言的正规文法如下：ScAAaA|BBdDDbD|（2）解：描述 L2 语言的二型
31、文法如下：SABA0A1|0a1BbBc|23 写出表达式(a+b)/(a-b)-a(a+b*c)的三元式序列答：.(+,a,b).(-,a,b).(/,).(*,b,c).(+,a,).(-,)24 写出表达式(ab*c)/(ab)d 的逆波兰表示及三元式序列。答：逆波兰表示：abc*ab/d三元式序列： (*，b，c) (，a，) (，a，b) (/，) (，d)25 将下面的条件语句表示成四元式序列： if ab then x:=a+b*c else x:=b-a;答：(1) ( j, a, b, (3) (2) ( j, , , (7) ) (3) ( *, b, c, T1) (4)
32、 ( +, a, T1, T2) (5) ( :=, T2, , x) (6) ( j, , , (9) (7) ( -, b, a, T3) (8) ( :=, T3, , x) (9) ( )26 翻译成四元式序列。While a0 b0 doBegin X：X1； if a0 then a：a1 else b：b1 End； 答：(1) (j，a，0，5) (2) (j，3) (5) (，1，T1) (6) (：，T1，) (7) (j，a，0，9) (8) (j，12)(9) (，a，1，T2) (10) (：，T2，a) (11) (j，1) (12) (，b，1， T3) (13) (：，T3，b) (14) (j，1) (15)27 已知文法 G(S) ：Sa|(T) TT，S|S 写出句子(a，a)，a)的规范归约过程及每一步的句柄。答：句型 归约规则 句柄(a，a)，a) Sa a (S，a)，a) TS S (T，a)，a) Sa a (T，S)，a) TT，S T，S (S)，a) TS S (T)，a) SS(T) (T) (S，a) TS S (T，a) Sa a (T，S) TT，S T，S (T) S(T) (T) S
