石大编译原理期末复习题及参考答案.docx

编译原理第PAGE1页共NUMPAGES1页

《编译原理》课程综合复习资料

一、单选题

1．文法：G：S→xSx|y所识别的语言是（）。

A.xyx

B.(xyx)*

C.x*yx*

D.xnyxn(n≥0)

答案：D

2．若状态k含有项目“A→α·”，且仅当输入符号a∈FOLLOW(A)时，才用规则“A→α”归约的语法分析方法是（）。

A.LALR分析法

B.LR(0)分析法

C.LR(1)分析法

D.SLR(1)分析法

答案：D

3．词法分析器的输出结果是（）。

A.单词自身值

B.单词在符号表中的位置

C.单词的种别编码

D.单词的种别编码和自身值

答案：D

4．给定文法A→bA|ca，为该文法句子的是（）。

A.bba

B.cab

C.bca

D.cba

答案：C

5．若B为非终结符，则A→?·B?为（）。

A.移进项目

B.归约项目

C.接受项目

D.待约项目

答案：D

6．就文法的描述能力来说，有（）。

A.SLR(1)?LR(0)

B.LR(1)?LR(0)

C.SLR(1)?LR(1)

D.无二义文法?LR(1)

答案：C

7．如图所示自动机M，请问下列哪个字符串不是M所能识别的（）。

A.bbaa B.abba C.abab D.aabb

答案：D

8．文法G：S→xSx|y所识别的语言是（）。

A.xyx

B.(xyx)*

C.xnyxn(n≥0)

D.x*yx*

答案：C

9．表达式(┐A∨B)∧(C∨D)的逆波兰表示为（）。

A.┐AB∨∧CD∨

B.A┐B∨CD∨∧

C.AB∨┐CD∨∧

D.A┐B∨∧CD∨

答案：B

10．如果文法G是无二义的，则它的任何句子α（）。

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

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

C.最左推导和最右推导必定相同

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

答案：A

11．编译原理是对（）。

A.机器语言的执行

B.汇编语言的翻译

C.高级语言的翻译

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

答案：C

12．通常一个编译程序中，不仅包含词法分析，语法分析，语义分析，中间代码生成，代码优化，目标代码生成等六个部分，还应包括（）。

A.模拟执行器

B.解释器

C.表格处理和出错处理

D.符号执行器

答案：C

13．若a为终结符，则A→α·aβ为（）项目。

A.归约

B.移进

C.接受

D.待约

答案：B

14．文法S→aaS|abc定义的语言是（）。

A.{a2kbc|k0}

B.{akbc|k0}

C.{a2k-1bc|k0}

D.{akakbc|k0}

答案：C

15．两个有穷自动机等价是指它们的（）。

A.状态数相等

B.有向弧数相等

C.所识别的语言相等

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

答案：C

二、判断题

1．正则文法其产生式为A-a，A-Bb，A,B∈VN，a、b∈VT。

答案：错

2．自上而下分析法是一种“移进—归约”法。

答案：错

3．进行代码优化时应着重考虑循环的代码优化，这对提高目标代码的效率将起更大作用。

答案：错

4．产生式是定义语法范畴的一种书写规则。

答案：对

5．要构造行之有效的自上而下的分析器，则必须消除左递归。

答案：错

6．一个算符优先文法可能不存在算符优先函数与之对应。

答案：对

7．自下而上的分析法是一种“移进—归约”法。

答案：对

8．如果文法G是二义的，那么规范归约和规范推导是互逆的两个过程。

答案：错

9．编译程序与具体的机器有关,与具体的语言无关。

答案：错

10．计算机高级语言翻译成低级语言只有解释一种方式。

答案：错

11．递归下降法允许任一非终极符是直接左递归的。

答案：对

12．文法是描述语言的语法结构的形式规则。

答案：对

13．静态数组的存储空间可以在编译时确定。

答案：错

14．如果文法G是无二义的，那么规范归约和规范推导是互逆的两个过程。

答案：对

15．逆波兰法表示的表达式亦称前缀式。

答案：对

三、问答题

1．给出与正规式R＝（ab）*（a|b*）ba等价的NFA。

答案：

与正规式R等价的NFA如下图：

2．文法G[E]为：

E→E+T|T

T→T*F|F

F→(E)|i

试给出句型(E+F)*i的短语，简单(直接)短语，句柄和最左素短语。

答案：

短语有：(E+F)*i，(E+F)，E+F，F，i

简单(直接)短语有：F，i

句柄是：F

最左素短语是：E+F

3．写出表达式(a+b)/(a-b)-a(a+b*c)的三元式序列。

答案：

⑴.(+,a,b)

⑵.(-,a,b)

⑶.(/,⑴,⑵)

⑷.(*,b,c)

⑸.(+,a,⑷)

⑹.(-,⑶