《编译原理》复习题(看完必过)

word格式-可编辑-感谢下载支持

《编译原理》复习题（看完必过）

一、单项选择题

1．将编译程序分成若干个“遍”是为了( B )

A．提高程序的执行效率

B. 使程序的结构更加清晰

C．利用有限的机器内存并提高机器的执行效率

D．利用有限的机器内存但降低了机器的执行效率

2．不可能是目标代码的是( D )

A．汇编指令代码 B．可重定位指令代码

C．绝对指令代码 D．中间代码

3．词法分析器的输入是( B )

A．单词符号串 B．源程序

C．语法单位 D．目标程序

4．中间代码生成时所遵循的是( C )

A．语法规则 B．词法规则

C．语义规则 D．等价变换规则

5．编译程序是对( D )

A．汇编程序的翻译 B．高级语言程序的解释执行

C．机器语言的执行 D．高级语言的翻译

6．词法分析应遵循( C )

A．语义规则 B．语法规则

C．构词规则 D．等价变换规则

7．词法分析器的输出结果是( C )

A．单词的种别编码 B．单词在符号表中的位置

C．单词的种别编码和属性值 D．单词属性值

8．正规式M1和M2等价是指( C )

A．M1和M2的状态数相等 B．M1和M2的有向弧条数相等

C．M1和M2所识别的语言集相等 D．M1和M2状态数和有向弧条数相等

9．词法分析器作为独立的阶段使整个编译程序结构更加简洁、明确，因此，( B )

A．词法分析器应作为独立的一遍

B．词法分析器作为子程序较好

C．词法分析器分解为多个过程，由语法分析器选择使用 ．

D．词法分析器并不作为一个独立的阶段

10．如果L(M1)=L(M2)，则M1与M2( A )

word格式-可编辑-感谢下载支持

A．等价 B．都是二义的

C．都是无二义的 D．它们的状态数相等

11．文法G：S→xSx|y所识别的语言是( C )

*nn**

A．xyx B．(xyx) c．xyx(n≥0) d．xyx

12．文法G描述的语言L(G)是指( A )

A．





L(G)





|S



,



V

T

*









*



B．

L(G)





|S



,



(V

T

V

N

)





*



L(G)





|S



,



V

T

*





C．

*



*



D．

L(G)





|S



,



(V

T

V

N

)





13．有限状态自动机能识别( C )

A．上下文无关文法 B．上下文有关文法

C．正规文法 D．短语文法

14．如果文法G是无二义的，则它的任何句子( A )

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

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

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

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

15．由文法的开始符经0步或多步推导产生的文法符号序列是( C )

A．短语 B．句柄 C．句型 D．句子

16．文法G：E→E+T|T

T→T*P|P

P→(E)|i

则句型P+T+i的句柄为( B )

A．P+T B．P C．P+T+i D．i

17．文法G：S→b|∧|(T)

T→T∨S|S

则FIRSTVT(T)=( C )

A．{ b，∧，( } B．{ b，∧，) }

C．{ b，∧，(，∨ } D．{ b，∧，），∨ }

18．产生正规语言的文法为( D )

A．0型 B．1型 C．2型 D．3型

word格式-可编辑-感谢下载支持

19．任何算符优先文法( D )优先函数。

A．有一个 B．没有 C．有若干个 D．可能有若干个

20．采用自上而下分析，必须( C )

A．消除左递归 B．消除右递归

C．消除回溯 D．提取公共左因子

21．在规范归约中，用( B )来刻画可归约串。

A．直接短语 B．句柄 C．最左素短语 D．素短语

22．有文法G：E→E*T|T

T→T+i|i

句子1+2*8+6按该文法G归约，其值为( B )

A．23 B．42 C．30 D．17

23．如果文法是无二义的，那么规范归约是指( B )

A．最左推导的逆过程 B．最右推导的逆过程

C．规范推导 D．最左归约的逆过程

24．文法G:S→S+T|T

T→T*P|P

P→(S)|i

句型P+T+i的短语有( B )

A．i,P+T B．P,P+T,i,P+T+i C．P+T+i D．P，P+T，i

25．四元式之间的联系是通过( B )实现的。

A．指示器 B．临时变量 C．符号表 D．程序变量

26．后缀式ab+cd+／可用表达式( B )来表示。

A．a+b／c+d B．(a+b)／(c+d) C．a+b／(c+d) D．a+b+c／d

27．使用间接三元式表示法的主要目的( A )

A．便于优化处理 B．便于表的修改

C．节省存储空间 D．生成中间代码更容易

28．表达式(┐A∨B)∧(C∨D)的逆波兰表示为( B )

A．┐AB∨∧CD∨ B．A┐B∨CD∨∧

C．AB∨┐CD∨∧ D．A┐B∨∧CD∨

二、判断题

1．一个确定有限状态自动机中，有且仅有一个唯一的终态。 (╳)

2．设R和S分别是字母表∑上的正规式，则有L(R|S)=L(R)∪L(S)。 (√)

3．自动机M1和M2的状态数不同，则二者必不等价。 (╳)

4．确定有限自动机以及非确定有限自动机都能正确地识别正规集。 (√)

5．对任意一个右线性正规文法G，都存在一个NFA M，满足L(G)=L(M)。 (√)

6．对任意一个右线性正规文法G，都存在一个DFA M，满足L(G)= L(M)。(√)

7．对任何正规式e，都存在一个NFA M，满足L(M)=L(e)。(√)

word格式-可编辑-感谢下载支持

8．对任何正规式e，都存在一个DFA M，满足L(M)=L(e)。(√)

9．从一个句型到另一个句型的推导过程是唯一的。(╳)

10．词法分析作为单独的一遍来处理较好。 (╳)

11．一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。

(╳)

12．二义文法不是上下文无关文法。（╳）

13．自上而下分析法是一种“移进—归约”法。（╳）

14．文法是描述语言的语法结构的形式规则。(√)

15．产生式是定义语法范畴的一种书写规则。(√)

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

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

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

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

三、填空题

1．解释程序和编译程序的区别在于（是否生成目标代码）。

2．编译过程通常可分为5个阶段，分别是（词法分析）、（语法分析）、语义分析与

中间代码产生、代码优化和目标代码生成。

3．编译程序工作过程中，第一阶段输入是（源程序），最后阶段的输出为（目标代

码）程序。

4．把语法范畴翻译成中间代码所依据的是（语义规则）。

5．目标代码可以是（汇编）指令代码或（可重定位）指令代码或绝对机器指令代

码。

6．词法分析的任务是：输入源程序，对构成源程序的（字符串）进行扫描和分解。

7．源程序中的错误通常分为（语法错误）和（语义错误）两大类。

8．（编译程序）是将源程序翻译成目标程序的程序。

9．一个上下文无关文法G包括四个部分：（终结符号）、（非终结符号）、（开始符号）

和一组（产生式）。

10．若



1





2





n

，则称这个序列是从



1

到



n

的一个（推导）。

11．设文法G的开始符号为S，如果

S



则称



是L(G)的一个（句型）。

12．文法G所产生的句子的全体是文法G所定义的（语言）。

13．若一个文法存在某个句子对应的两棵不同的语法树，则称这个文法是（二义文

法）。

14．程序语言的单词符号一般可分为五种：（关键字）、（标识符）、常数、（运算符）

和界符。

15．（确定有限自动机DFA）是非确定有限自动机NFA的一个特例。

16．对于正规文法G和有限自动机M，若L(G)=L(M)，则称G和M是（等价）的。

*

word格式-可编辑-感谢下载支持

17．若两个正规式所表示的正规集相等，则认为二者是（等价）的。

18．按照语法分析树的建立方法，语法分析可分为两类：（自上而下分析）和（自

下而上分析）。

18．规范归约中的可归约串是指（句柄）。

19．算符优先分析中的可归约串是指（最左素短语）。

20．（自下而上）语法分析的关键问题是精确定义可归约串的概念。

四、简答

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)ε和Φ都是∑上的正规式，它们所表示的正规集分别为{ε}和Φ；

(2)任何a∈∑，a是∑上的一个正规式，它所表示的正规集为{a}；

(3)假定U和V都是∑上的正规式，它们所表示的正规集分别记为L(U)和L(V)，那

*

么，(U|V)、(U·V)和(U)也都是正规式，它们所表示的正规集分别为L(U)∪L(V)、

*

L(U)L(V)(连接积)和(L(U))(闭包)。

仅由有限次使用上述三步骤而得到的表达式才是∑上的正规式。仅由这些正规式所

表示的字集才是∑上的正规集。

3．设文法G为：

S→aAcB|BdS

A→BaB|aBc|a

B→aScA|cAB|b

对于输入串aacabccb，给出最左推导。

S=>aAcB=>aaBccB=>aacABccB=>aacaBccB=>aacabccB=>aacabccb

4．设文法G为：

S→BA

A→BS|d

B→aA|bS|c

对于输入串adccd，给出最左推导。

word格式-可编辑-感谢下载支持

S=>BA=>aAA=>adA=>adBS=>adcS=>adcBA=>adccA=>adccd

5．证明：文法G：

P→PaP|PbP|cP|Pe|f

为二义文法。

对于文法G定义的句子fbfbf，有两棵不同的语法树：

P

P

P b P

P b P

P b P

f

f P b

P

f f

f

f

所以该文法是二义文法。

6．证明：文法G：

P→S+S|S*S|i|(S)

为二义文法。

对于文法G定义的句子i+i*i，有两棵不同的语法树：

S

S

S * S

S + S

S + S

i

i S *

S

i i

所以该文法是二义文法。

7．给定正规文法G:

S→aS|bA|b

A→aS

请构造与之等价的有限自动机。

i

i

a

S

b

F

b

a

A

word格式-可编辑-感谢下载支持

8．给定正规文法G:

S→aA

A→bA|aB|b

B→aA

请构造与之等价的有限自动机。

a

S

a

9．对下面给出的NFA确定化。

a

S

1

10．对下面给出的NFA确定化。

a

A

a

S

a

a

B

b

b

b

A

a

B

F

b

a

A

a

a

2

b

F

a

b

3

b

4

a

a

a

a

1

2

a

b

3

a

4

b

word格式-可编辑-感谢下载支持

11．对下面给出的DFA最小化。

b

a

A

a

a

a

S

B

b

b

a

C

12．对下面给出的DFA最小化。

a

a

A

b

1

D

b

a

3

a

b

a

2

a

b

a

b

S

B

D

a

b

b

C

b

a

a

b

b

a

b

1 2

3

4

a

13．有如下布尔表达式：

b

a

假定整个表达式的真假出口分别为Ltrue和Lfalse，请翻译成三地址语句。

if a

goto Lfalse

L1:if c

goto L2

L2:if e

goto Lfalse

14．有如下语句：

if a

word格式-可编辑-感谢下载支持

请翻译成三地址语句。

if a

goto L2

L1:if c

goto L4

L3:T1:=a+1

p:=T1

goto Lnext

L4:T2:=b+1

p:=T2

goto Lnext

L2:T3:=c+1

p:=T3

Lnext: …

五、语法分析

1．设有文法G:

S→a|b|(A)

A→SdA|S

⑴ 完成下列算符优先关系表，并判断是否为算符优先文法（请说明理由）。

a

b

(

)

d

#

a

＜·

＜·

＜·

b

＜·

＜·

＜·

(

＜·

＜·

＜·

)

·＞

·＞

＝

·＞

·＞

d

·＞

·＞

＜·

·＞

＜·

#

·＞

·＞

·＞

·＞

＝

由于该文法的任何产生的右部都不含两个相继的非终结符，故属于算符文法。

从上表可以看出，任何两个终结符之间至少满足＝、＜· 、·＞三种关系之一，故

G为算符优先文法。

⑵ 给出句型(SdSdS)对应的语法树，指出该句型的短语、句柄

S

( A )

短语：(SdSdS) SdSdS SdS S

S d A

S d A

word格式-可编辑-感谢下载支持

句柄: S

2．设有文法G:

S→S*F|F

F→F↑P|P

P→(S)|i

⑴ 完成下列算符优先关系表，并判断是否为算符优先文法（请说明理由）。

*

↑

(

)

i

#

*

·＞

·＞

＜·

·＞

·＞

＜·

↑

＜·

·＞

＜·

·＞

·＞

＜·

(

＜·

＜·

＜·

＜·

)

·＞

·＞

＝

·＞

·＞

i

＜·

＜·

＜·

＜·

#

·＞

·＞

·＞

·＞

＝

由于该文法的任何产生的右部都不含两个相继的非终结符，故属于算符文法。

从上表可以看出，任何两个终结符之间至少满足＝、＜· 、·＞三种关系之一，故

G为算符优先文法。

⑵ 给出句型S*P↑(S)对应的语法树，指出该句型的短语、句柄

S

S * F

短语：S*P↑(S) P↑(S) P (S)

句柄: P

F ↑ P

P

( S )

一、单项选择题(共10小题，每小题2分) （题分 20分）

1．语言是

A．句子的集合 B．产生式的集合

C．符号串的集合 D．句型的集合

2．编译程序前三个阶段完成的工作是

word格式-可编辑-感谢下载支持

A．词法分析、语法分析和代码优化

B．代码生成、代码优化和词法分析

C．词法分析、语法分析、语义分析和中间代码生成

D．词法分析、语法分析和代码优化

3．一个句型中称为句柄的是该句型的最左

A．非终结符号 B．短语 C．句子 D．直接短语

4．下推自动机识别的语言是

A．0型语言 B．1型语言

C．2型语言 D．3型语言

5．扫描器所完成的任务是从字符串形式的源程序中识别出一个个具有独立含义的最小语法单位即

A． 字符 B．单词 C．句子 D．句型

6．对应Chomsky四种文法的四种语言之间的关系是

A．L

0

L

1

L

2

L

3

B．L

3

L

2

L

1

L

0

C．L

3

=L

2

L

1

L

0

D．L

0

L

1

L

2

=L

3

7．词法分析的任务是

A．识别单词 B．分析句子的含义

C．识别句子 D．生成目标代码

8．常用的中间代码形式不含

A．三元式 B．四元式 C．逆波兰式 D．语法树

9． 代码优化的目的是

A．节省时间 B．节省空间

C．节省时间和空间 D．把编译程序进行等价交换

10．代码生成阶段的主要任务是

A．把高级语言翻译成汇编语言

B．把高级语言翻译成机器语言

C．把中间代码变换成依赖具体机器的目标代码

D．把汇编语言翻译成机器语言

二、填空题（本大题共5小题，每小题2分）（题分 10分）

1．编译程序首先要识别出源程序中每个( )，然后再分析每个( )并翻译其意义。

2．编译器常用的语法分析方法有( )和( )两种。

3．通常把编译过程分为分析前端与综合后端两大阶段。词法、语法和语义分析是对源程序的( )，

中间代码生成、代码优化与目标代码的生成则是对源程序的( )。

4．程序设计语言的发展带来了日渐多变的运行时存储管理方案，主要分为两大类，即：

( )方案和( )方案。

5．对编译程序而言，输入数据是( )，输出结果是( )。

三、名词解释题(共5小题，每小题4分) （题分 20分）

word格式-可编辑-感谢下载支持

1．词法分析

2．LL(1)文法

3．语法树

4．LR(0)分析器

5．语言和文法

四、简答题(共4小题，每小题5分) （题分 20分）

1．编译程序和高级语言有什么区别?

2．编译程序的工作分为那几个阶段?

3．简述自下而上的分析方法。

4．简述代码优化的目的和意义。

五、综合应用题(共3小题，每小题10分) （题分 30分）

1．证明下述文法G：

SaSbS|aS|d

是二义性文法。

2．对于文法G[S]：SAB，AAa|bB，Ba|Sb求句型baSb的全部短语、直接短语和句柄？

句型baSb的语法树如图五(2)所示。

S

A

B

b

B S

b

a

图五(2) 句型baSb的的语法树

3．设有非确定的有自限动机NFA M=({A，B，C}，{0，1}，，{A}，{C})，其中：

 (A，0)={C}  (A，1)={A，B}  (B，1)={C}  (C，1)={C}。请画出状态转换距阵和状态转换图。

参考答案

一、单项选择题(共10小题，每小题2分，共20分)

1．语言是

A．句子的集合 B．产生式的集合

word格式-可编辑-感谢下载支持

C．符号串的集合 D．句型的集合

2．编译程序前三个阶段完成的工作是

A．词法分析、语法分析和代码优化

B．代码生成、代码优化和词法分析

C．词法分析、语法分析、语义分析和中间代码生成

D．词法分析、语法分析和代码优化

3．一个句型中称为句柄的是该句型的最左

A．非终结符号 B．短语 C．句子 D．直接短语

4．下推自动机识别的语言是

A．0型语言 B．1型语言

C．2型语言 D．3型语言

5．扫描器所完成的任务是从字符串形式的源程序中识别出一个个具有独立含义的最小语法单位即

A． 字符 B．单词 C．句子 D．句型

6．对应Chomsky四种文法的四种语言之间的关系是

A．L

0

L

1

L

2

L

3

B．L

3

L

2

L

1

L

0

C．L

3

=L

2

L

1

L

0

D．L

0

L

1

L

2

=L

3

7．词法分析的任务是

A．识别单词 B．分析句子的含义

C．识别句子 D．生成目标代码

8．常用的中间代码形式不含

A．三元式 B．四元式 C．逆波兰式 D．语法树

9． 代码优化的目的是

A．节省时间 B．节省空间

C．节省时间和空间 D．把编译程序进行等价交换

10．代码生成阶段的主要任务是

A．把高级语言翻译成汇编语言

B．把高级语言翻译成机器语言

C．把中间代码变换成依赖具体机器的目标代码

D．把汇编语言翻译成机器语言

二、填空题（本大题共5小题，每小题2分，共10分）

1．编译程序首先要识别出源程序中每个(单词)，然后再分析每个(句子)并翻译其意义。

2．编译器常用的语法分析方法有(自底向上)和(自顶向下)两种。

3．通常把编译过程分为分析前端与综合后端两大阶段。词法、语法和语义分析是对源程序的(分析)，

中间代码生成、代码优化与目标代码的生成则是对源程序的(综合)。

4．程序设计语言的发展带来了日渐多变的运行时存储管理方案，主要分为两大类，即(静态存储分配)

方案和(动态存储分配)方案。

5．对编译程序而言，输入数据是(源程序)，输出结果是(目标程序)。

三、名词解释题(共5小题，每小题4分，共20分)

word格式-可编辑-感谢下载支持

1．词法分析

词法分析的主要任务是从左向右扫描每行源程序的符号，按照词法规则

从构成源程序的字符串中识别出一个个具有独立意义的最小语法单位，

并转换成统一的内部表示(token)，送给语法分析程序。

2．LL(1)文法

若文法的任何两个产生式A 



|



都满足下面两个条件：

（1）FIRST(



)  FIRST(



) = ；

（2）若



*  ，那么FIRST(



)  FOLLOW( A ) = 。

我们把满足这两个条件的文法叫做LL(1)文法，其中的第一个L代表从左

向右扫描输入，第二个L表示产生最左推导，1代表在决定分析器的每步

动作时向前看一个输入符号。除了没有公共左因子外，LL(1)文法还有一

些明显的性质，它不是二义的，也不含左递归。

3．语法树

句子的树结构表示法称为语法树(语法分析树或语法推导树)。

给定文法G=(V

N

，V

T

，P，S)，对于G的任何句型都能构造与之关联的

语法树。这棵树具有下列特征：

(1)根节点的标记是开始符号S。

(2)每个节点的标记都是V中的一个符号。

(3)若一棵子树的根节点为A，且其所有直接子孙的标记从左向右的排列

次序为A

1

A

2

…A

R

，那么AA

1

A

2

…A

R

一定是P中的一条产生式。

(4)若一标记为A的节点至少有一个除它以外的子孙，则A



V

N

。

(5)若树的所有叶节点上的标记从左到右排列为字符串w，则w是文法G

的句型；若w中仅含终结符号，则w为文法G所产生的句子。

4．LR(0)分析器

所谓LR(0)分析，是指从左至右扫描和自底向上的语法分析，且在分析的

每一步，只须根据分析栈当前已移进和归约出的全部文法符号，并至多再

向前查看0个输入符号，就能确定相对于某一产生式左部符号的句柄是否

已在分析栈的顶部形成，从而也就可以确定当前所应采取的分析动作 (是

移进还是按某一产生式进行归约等)。

5．语言和文法

文法就是语言结构的定义和描述，是有穷非空的产生式集合。

文法G定义为四元组的形式：

G=(V

N

，V

T

，P，S)

其中：V

N

是非空有穷集合，称为非终结符号集合；V

T

是非空有穷集合，

称为终结符号集合；P是产生式的集合(非空)；S是开始符号(或识别符号)。

这里，V

N

∩V

T

=，S



V

N

。V=V

N

∪V

T

，称为文法G的字母表，它是出现

文法产生式中的一切符号的集合。

word格式-可编辑-感谢下载支持

文法G所描述的语言用L(G)表示，它由文法G所产生的全部句子组成，即

L(G)={x| S*x，其中S为文法开始符号，且

xV

T

}

简单的说，文法描述的语言是该文法一切句子的集合。

四、简答题(共4小题，每小题5分，共20分)

1．编译程序和高级语言有什么区别?

用汇编语言或高级语言编写的程序，必须先送入计算机，经过转换成用机器

语言表示的目标程序（这个过程即编译），才能由计算机执行。执行转换过程

的程序叫编译程序。汇编程序是指没有编译过的汇编语言源文件。编译程序转

换过的叫目标程序，也就是机器语言。

编译程序的工作情况有三种：汇编型、解释型和编译型。汇编型编译程序用来

将汇编语言编写的程序，按照一一对应的关系，转换成用机器语言表示的程序。

解释型编译程序将高级语言程序的一个语句，先解释成为一组机器语言的指令，

然后立即执行，执行完了，取下一组语句解释和执行，如此继续到完成一个程序

止。用解释型编译程序，执行速度很慢，但可以进行人和计算机的"对话"，随时

可以修改高级语言的程序。BASIC语言就是解释型高级语言。编译型编译程序将

级语言编写的程序，一次就会部翻译成机器语言表示的程序，而且过程进行很快，

在过程中，不能进行人机对话修改。FORTRAN语言就是编译型高级语言。

2．编译程序的工作分为那几个阶段?

词法分析、语法分析和语义分析是对源程序进行的分析(称为编译程序的前端)，

而中间代码生成、代码优化和代码生成三个阶段合称为对源程序进行综合(称为

编译程序的后端)，它们从源程序的中间表示建立起和源程序等价的目标程序。

3．简述自下而上的分析方法。

所谓自下而上分析法就是从输入串开始，逐步进行“归约”，直至归约到文法的

开始符号；或者说从语法树的末端开始，步步向上“归约”，直到根节点。

4．简述代码优化的目的和意义。

代码优化是尽量生成“好”的代码的编译阶段。也就是要对程序代码进行

一种等价变换，在保证变换前后代码执行结果相同的前提下，尽量使目

标程序运行时所需要的时间短，同时所占用的存储空间少。

五、综合应用题(共3小题，每小题10分，共30分)

1．证明下述文法G：

SaSbS|aS|d

是二义性文法。

解：

一个文法，如果存在某个句子有不只一棵语法分析树与之对应，那么称这个

文法是二义性文法。

句子aadbd有两棵语法树。如下图：



word格式-可编辑-感谢下载支持

S

S

d

a

S

S

S

d

a

a

S b

S

d

a

S

d

b

(1) (2)

由此可知，SaSbS|aS|d定义的文法是二义性文法。

2．对于文法G[S]：SAB，AAa|bB，Ba|Sb求句型baSb的全部短语、直接短语和句柄？

句型baSb的语法树如图五(2)所示。

S

A

b

B

B S

b

a

图五(2) 句型baSb的的语法树

解：

baSb为句型baSb的相对于S的短语，ba为句型baSb的相对于A的短语，Sb为句型baSb的相对于B

的短语，且为直接短语，a为句型baSb的相对于B的短语，且为直接短语和句柄。

3．设有非确定的有自限动机NFA M=({A，B，C}，{0，1}，，{A}，{C})，其中：

 (A，0)={C}  (A，1)={A，B}  (B，1)={C}  (C，1)={C}。请画出状态转换距阵和状态转换图。

解：

状态转换距阵为：



A

B

C

0

C





1

A，B

C

C

word格式-可编辑-感谢下载支持

状态转换图为：

1

1

AB

1

1

C1

0

《编译原理》历年试题及答案

一． （每项选择2分，共20分）选择题

1．将编译程序分成若干个“遍”是为了_b__。

a.提高程序的执行效率

b.使程序的结构更加清晰

c.利用有限的机器内存并提高机器的执行效率

d.利用有限的机器内存但降低了机器的执行效率

2．构造编译程序应掌握__d__。

a.源程序 b.目标语言

c.编译方法 d.以上三项都是

3．变量应当c＿。

a.持有左值 b.持有右值

c.既持有左值又持有右值 d.既不持有左值也不持有右值

4．编译程序绝大多数时间花在_d___上。

a.出错处理 b.词法分析

c.目标代码生成 d.管理表格

5．词法分析器的输出结果是_c___。

a.单词的种别编码 b.单词在符号表中的位置

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

6．正规式MI和M2等价是指__c__。

word格式-可编辑-感谢下载支持

a. MI和M2的状态数相等 和M2的有向弧条数相等。

C.M1和M2所识别的语言集相等 d. Ml和M2状态数和有向弧条数相等

7．中间代码生成时所依据的是—c。

a．语法规则 b．词法规则 c．语义规则 d．等价变换规则

8．后缀式ab+cd+/可用表达式__b_来表示。

a． a+b/c+d b． (a+b)/(c+d) c． a+b/(c+d) d． a+b+c/d

9．程序所需的数据空间在程序运行前就可确定，称为____c_＿管理技术。

a.动态存储 b.栈式存储 c.静态存储 d.堆式存储

10.堆式动态分配申请和释放存储空间遵守___d____＿原则。

a.先请先放 b.先请后放 c.后请先放 d.任意

二（每小题10分，共80分）简答题

1.画出编译程序的总体结构图，简述各部分的主要功能。

2. 已知文法G[E]:

E→ET+|T T→TF* | F F→F^ | a

试证：FF^^*是文法的句型，指出该句型的短语、简单短语和句柄.

3．为正规式(a|b) *a(a|b)构造一个确定的有限自动机。

4． 设文法G(S)：

S→(L)|a S|a

L→L，S|S

(1) 消除左递归和回溯；

word格式-可编辑-感谢下载支持

(2) 计算每个非终结符的FIRST和FOLLOW；

(3) 构造预测分析表。

5． 已知文法

A->aAd| aAb|ε

判断该文法是否SLR（1）文法，若是构造相应分析表，并对输入串ab#给出分析过

程。

6． 构造算符文法G[H]的算符优先关系（含＃）。

G[H]：H→H;M|M

M→d|aHb

7．已构造出文法G（S）

（1）S BB

（2）B aB

（3）B b

1）。给出DFA图

2）.给出LR分析表

3）．假定输入串为abaab，请给出LR分析过程（即状态，符号，输入串的变化过

程）。

8． 将下面的语句翻译成四元式序列：

while A

if A=1 then C:=C+l

else while A≤ D do

A:=A+2；

9． 对下面的流图，

(1)求出流图中各结点N的必经结点集D(n)，

(2)求出流图中的回边，

(3)求出流图中的循环。

参 考 答 案

一．单项选择题

1. 将编译程序分成若干个“遍”是为了使编译程序的结构更加清晰，故选b。

2. .构造编译程序应掌握源程序、目标语言及编译方法等三方面的知识，故选d。

3. 对编译而言，变量既持有左值又持有右值，故选c。

4. 编译程序打交道最多的就是各种表格，因此选d。

5. 词法分析器输出的结果是单词的种别编码和自身值，选C。

6. 正规式M1和M2所识别的语言集相等，故选C。

7. 选c。

8. 选b。

9. 选C

10. 堆式动态分配申请和释放存储空间不一定遵守先请后放和后请先放的原则，故

word格式-可编辑-感谢下载支持

选d

二．简答题

1． 【解答】

编译程序的总体结构图如图1.2所示。

词法分析器：输入源程序，进行词法分析，输出单词符号。

word格式-可编辑-感谢下载支持

语法分析器：在词法分析的基础上，根据语言的语法规则（文法规则）把单词符

号串分

解成各类语法单位，并判断输入串是否构成语法上正确的“程序”。

中间代码生成器：按照语义规则把语法分析器归约（或推导）出的语法单位翻译成

一定

形式的中间代码，比如说四元式。

优化：对中间代码进行优化处理。

目标代码生成器：把中间代码翻译成目标语言程序。

表格管理模块保存一系列的表格，登记源程序的各类信息和编译各阶段的进展情

况。编

译程序各阶段所产生的中间结果都记录在表格中，所需信息多数都需从表格中获

取，整个编

译过程都在不断地和表格打交道。

出错处理程序对出现在源程序中的错误进行处理。此外，编译的各阶段都可能出现

错误，

出错处理程序对发现的错误都及时进行处理。

2． 【解答】

该句型对应的语法树如下：该句型相对于E的短语有FF^^*；相对于T的短语有

FF^^*,F;

相对于F的短语有F^;F^^;简单短语有F;F^;句柄为F.

3． 【解答】

最简DFA如图2.66所示。

4． 【解答】

(1)

S→(L)|aS’

S’→S|ε

L→SL’

L’→SL’|ε

评分细则：消除左递归2分，提公共因子2分。

(2) FIRST和FOLLOW

FIRST)S)＝{(，a} FOLLOW(S)＝{#，，，)}

FIRST(S’)＝{，a,ε} FOLLOW(S’)＝{#，，，)}

FIRST(L)＝{(，a} FOLLOW(L)＝{ )}

FIRST(L’)＝{，，ε} FOLLOW(L’〕＝{ )}

5． 【解答】

(1)拓广文法

(0)S->A (1) A->aAd (2)A-> aAb (3)A->ε

(2)构造识别活前缀的DFA

word格式-可编辑-感谢下载支持

FOLLOW(A)={d,b,#}

对于状态I0：FOLLOW(A)∩{a}=Ф

对于状态I1：FOLLOW(A)∩{a}=Ф

因为，在DFA中无冲突的现象，所以该文法是SLR(1)文法。

(3)SLR(1)分析表

状态 ACTION GOTO

a B d # A

0 S2 r3 r3 r3 1

1 acc

2 S2 r3 r3 r3 3

word格式-可编辑-感谢下载支持

3 S5 S4

4 r1 r1 r1

5 r2 r2 r2

(4)串ab#的分析过程

步骤 状态栈 符号栈 当前字符 剩余字符串 动作

1 0 # a b# 移进

2 02 #a b # 归约A->ε

3 023 #aA b # 移进

4 0235 #aAb # 归约A-> aAb

5 01 #A # 接受

6． 【解答】

由M→d和M→a…得：FIRSTVT(M)=｛d,a｝；

由H-H;…得：FIRSTVT(H)=｛；｝

由H→M得：FIRSTVT(M) cFIRSTVT(H)，即FIRSTVT(H)={;,d,a}

由M→d和M→…b得：LASTVT(M)={d,b}；

由H---，；m得：LASTVT(H)=｛；｝；

由H→M得：LASTVT（M）cLASTVT(H），即LASTVT(H)=｛;,d,b}

对文法开始符H,有#H#存在，即有＃=＃，##,也即＃＜；，

##, b>#。

对形如P→…ab…，或P→…aQb…，有a=b，由M→a|b得：a=b；

对形如P→…aR…，而b∈FIRSTVT(R)，有a

有a>b。

由H→…；M得：；

由M→aH…得：a

由H→H；’’.得：LASTVT(H)>;，即：；＞；，d>；，b＞；

由M→…Hb得：LASTVT(H)>b，即：；＞b，d>b，b＞b

由此得到算符优先关系表，见表3.5。

7． 【解答】

（1）LR分析表如下：

（2）分析表

状态 ACTION GOTO

a b # S B

0 s3 s4 1 2

1 acc

2 S3 S4 5

3 s3 s4 6

4 r3 r3

5 R1 R1 r1

word格式-可编辑-感谢下载支持

6 R2 R2 R2

word格式-可编辑-感谢下载支持

(3) 句子abaab的分析过程

表:句子abaab的分析过程

步骤 状态 符号栈 输入串 所得产生式

0 #0 # abaad#

1 #03 #a baad#

2 #034 #ab aab# B→b

3 #036 #aB aab# B→aB

4 #02 #B aab#

5 #023 #Ba ab#

6 #0233 #Baa b#

7 #02334 #Baab #

8 #02336 #BaaB #

9 #0236 #BaB ad#

10 #025 #BB ad#

11 #01 #S d#

12 # # d#

13 识别成功

8． 【解答】

该语句的四元式序列如下（其中E1、E2和E3分别对应：A

并且关

系运算符优先级高）：

100 (j<,A,C,102)

101(j,_,_,113） /*E1为F*/

102 (j<,B,D,104) /*El为T*/

103 (j,_,_,113) /*El为F*/

104 (j=,A,1,106) /*Ez为T*/

105 (j,_,_,108） /*EZ为F*/

106 (＋,C,1,C) /*C:=C+1*/

107 (j,_,_,112) /*跳过else后的语句*/

108 (j≤,A,D,110) /*E3为T*/

109 (j,_,_,112) /*E3为F*/

110 (＋,A,2,A) /*A:=A+2*/

111 (j,_,_,108) /*转回内层while语句开始处*/

112(j,_,_,100) /*转回外层while语句开始处*/

113

9． 【解答】

(1)流图中各结点N的必经结点集D(n)，

D(l)＝{1}，D(2)＝{1,2}，D(3)＝{1,2,3}，D(4)={1,2,3,4}，D(5)＝{1,2,5}，

word格式-可编辑-感谢下载支持

D(6)＝{1,2,5,6}

(2)求出流图中的回边，

5->2，4->3

(3)求出流图中的循环:

回边5->2对应的循环：2、5、3、4；

回边4->3对应的循环：3、4

word格式-可编辑-感谢下载支持

《编译原理》模拟试题一

一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分）

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

2．在编译中进行语法检查的目的是为了发现程序中所有错误。(×)

3．甲机上的某编译程序在乙机上能直接使用的必要条件是甲机和乙机的操作系

统功能完全相同。 (√ )

4．正则文法其产生式为 A->a ， A->Bb, A,B∈VN ， a 、 b∈VT 。 (×)

5．每个文法都能改写为 LL(1) 文法。 (√)

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

7．算符优先关系表不一定存在对应的优先函数。 (×)

8．自底而上语法分析方法的主要问题是候选式的选择。 (×)

9．LR 法是自顶向下语法分析方法。 (×)

10．简单优先文法允许任意两个产生式具有相同右部。 (×)

二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每

个4分，共40分)

1． 一个编译程序中，不仅包含词法分析，_____，中间代码生成，代码优化，

目标代码生成等五个部分。

A．( ) 语法分析 B．( )文法分析 C．( )语言分析 D．( )解释分析

2． 词法分析器用于识别_____。

A．( ) 字符串B．( )语句C．( )单词 D．( )标识符

3． 语法分析器则可以发现源程序中的_____。

word格式-可编辑-感谢下载支持

A．( ) 语义错误 B．( ) 语法和语义错误

C．( ) 错误并校正 D．( ) 语法错误

4． 下面关于解释程序的描述正确的是_____。

(1) 解释程序的特点是处理程序时不产生目标代码

(2) 解释程序适用于 COBOL 和 FORTRAN 语言

(3) 解释程序是为打开编译程序技术的僵局而开发的

A．( ) (1)(2) B．( ) (1) C．( ) (1)(2)(3) D．( ) (2)(3)

5． 解释程序处理语言时 , 大多数采用的是_____方法。

A．( ) 源程序命令被逐个直接解释执行

B．( ) 先将源程序转化为中间代码 , 再解释执行

C．( ) 先将源程序解释转化为目标程序 , 再执行

D．( ) 以上方法都可以

6． 编译过程中 , 语法分析器的任务就是_____。

(1) 分析单词是怎样构成的 (2) 分析单词串是如何构成语句和说明的

(3) 分析语句和说明是如何构成程序的 (4) 分析程序的结构

A．( ) (2)(3) B．( ) (2)(3)(4)C．( ) (1)(2)(3) D．( ) (1)(2)(3)(4)

7． 编译程序是一种_____。

A. ( ) 汇编程序 B．( ) 翻译程序C．( ) 解释程序 D．( ) 目标程序

8． 文法 G 所描述的语言是_____的集合。

A. ( ) 文法 G 的字母表 V 中所有符号组成的符号串

B．( ) 文法 G 的字母表 V 的闭包 V* 中的所有符号串

word格式-可编辑-感谢下载支持

C．( ) 由文法的开始符号推出的所有终极符串

D. ( ) 由文法的开始符号推出的所有符号串

9． 文法分为四种类型，即0型、1型、2型、3型。其中3型文法是_____。

A. ( ) 短语文法 B．( ) 正则文法C．( ) 上下文有关文法 D．( ) 上下文

无关文法

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

组终结符号，一个开始符号，以及一组 _____。

A．( ) 句子 B．( ) 句型C．( ) 单词 D．( ) 产生式

三、填空题(每空1分，共10分)

1．编译程序的工作过程一般可以划分为词法分析,语法分析,语义分析,中间代码

生成,代码优化等几个基本阶段,同时还会伴有__表格处理___和 ___出错处理__。

2．若源程序是用高级语言编写的,___目标程序__是机器语言程序或汇编程序,

则其翻译程序称为 ___编译程序__ 。

3．编译方式与解释方式的根本区别在于__是否生成目标代码___。

4．对编译程序而言,输入数据是___源程序__, 输出结果是__目标程序___。

5．产生式是用于定义___语法成分__的一种书写规则。

6．语法分析最常用的两类方法是___自上而下__和___自下而上__分析法。

四、简答题（20分）

1. 什么是句子？ 什么是语言 ?

答：(1)设G是一个给定的文法，S是文法的开始符号，如果S x(其中x∈VT*),则

称x是文

法的一个句子。

(2)设G[S]是给定文法，则由文法G所定义的语言L(G)可描述为： L(G)＝{x│S x,x

∈VT*} 。

word格式-可编辑-感谢下载支持

2. 写一文法，使其语言是偶正整数的集合,要求：

(1)允许0打头；

(2) 不允许0打头。

解：(1)G[S]=({S,P,D,N},{0,1,2,…,9},P,S)

P:

S->PD|D

P->NP|N

D->0|2|4|6|8

N->0|1|2|3|4|5|6|7|8|9

(2)G[S]=({S,P,R,D,N,Q },{0,1,2,…,9},P,S)

P:

S->PD|P0|D

P->NR|N

R->QR|Q

D->2|4|6|8

N->1|2|3|4|5|6|7|8|9

Q->0|1|2|3|4|5|6|7|8|9

3. 已知文法 G[E] 为：

E→T|E+T|E-T

T→F|T*F|T/F

F→ （ E ） |i

① 该文法的开始符号（识别符号）是什么？

word格式-可编辑-感谢下载支持

② 请给出该文法的终结符号集合 VT 和非终结符号集合 VN 。

③ 找出句型 T+T*F+i 的所有短语、简单短语和句柄。

解：① 该文法的开始符号（识别符号）是E。

②该文法的终结符号集合VT={+、-、*、/、（、）、i}。 非终结符号集合VN={E、T、

F}。

③句型T+T*F+I的短语为i、T*F、第一个T、T+T*F+i; 简单短语为i、T*F、第一

个T;句柄

为第一个T。

4. 构造正规式相应的 NFA : 1(0|1)*101

解1(0|1)*101对应的NFA为

5. 写出表达式(a＋b*c)/(a＋b)－d的逆波兰表示和三元式序列。

逆波兰表示： abc*＋ab＋/d－

三元式序列： ① (*，b，c) ② (＋，a，①) ③ (＋，

a，b) ④ (/，②，③) ⑤ (－，④，d)

五.计算题（10分）

构造下述文法 G[S] 的自动机： S->A0 A->A0|S1|0

该自动机是确定的吗？若不确定，则对它确定化。

解：由于该文法的产生式S->A0，A->A0|S1中没有字符集VT的输入，所以不是确

定的自

动机。 要将其他确定化，必须先用代入法得到它对应的正规式。把S?A0代入产生

式A?S1

有：A=A0|A01|0=A(0|01)|0=0(0|01)*。 代入S->A0有该文法的正规式：0(0|01)*0，

所以，改

写该文法为确定的自动机为：

由于状态A有3次输入0的重复输入，所以上图只是NFA，下面将它确定化：

下表由子集法将NFA转换为

DFA:

由上表可知DFA为：

word格式-可编辑-感谢下载支持

《编译原理》模拟试题二

word格式-可编辑-感谢下载支持

一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分）

1．“ 用高级语言书写的源程序都必须通过编译,产生目标代码后才能投入运行 ”

这种说法。

(× )

2．若一个句型中出现了某产生式的右部，则此右部一定是该句型的句柄。(× )

3．一个句型的句柄一定是文法某产生式的右部。 (√)

4．在程序中标识符的出现仅为使用性的。 (× )

5．仅考虑一个基本块，不能确定一个赋值是否真是无用的。 (√ )

6．削减运算强度破坏了临时变量在一基本块内仅被定义一次的特性。 (√ )

7．在中间代码优化中循环上的优化主要有不变表达式外提和削减运算强度。 (× )

8．算符优先关系表不一定存在对应的优先函数。 (×)

9．数组元素的地址计算与数组的存储方式有关。 (×)

10．编译程序与具体的机器有关,与具体的语言无关。 (× )

二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每

个4分，共

40分)

1． 通常一个编译程序中，不仅包含词法分析，语法分析，中间代码生成，代码优

化，目

标代码生成等五个部分，还应包括_____。

A．( ) 模拟执行器 B．( ) 解释器

C．( ) 表格处理和出错处理 D．( ) 符号执行器

2． 文法 G[N]= （ {b} ， {N ， B} ， N ， {N→b│bB ， B→bN} ），该文法

所描述

的语言是

word格式-可编辑-感谢下载支持

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 ＋ T

T→F∣T ﹡ F

F→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． 在自底向上的语法分析方法中，分析的关键是_____。

word格式-可编辑-感谢下载支持

A.( ) 寻找句柄 B.( ) 寻找句型 C.( ) 消除递归 D.( ) 选择候选式

10． 在 LR 分析法中，分析栈中存放的状态是识别规范句型_____的 DFA 状态。

word格式-可编辑-感谢下载支持

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

三、填空题(每空1分，共10分)

1．设G是一个给定的文法，S是文法的开始符号，如果S->x( 其中 x∈VT*), 则

称 x是文

法的一个__句子___。

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

3．自顶向下的语法分析方法的基本思想是：从文法的__开始符号____开始，根据

给定的输

入串并按照文法的产生式一步一步的向下进行__直接推导____，试图推导出文法的

__句子

____，使之与给定的输入串___匹配___。

4．自底向上的语法分析方法的基本思想是：从输入串入手，利用文法的产生式一

步一步地

向上进行___直接归约__ ，力求归约到文法的__开始符号___。

5．常用的参数传递方式有___传地址__，传值和传名。

6．在使用高级语言编程时,首先可通过编译程序发现源程序的全部__语法___错误

和语义部

分错误。

四、简答题（20分）

1. 已知文法 G[S] 为：

S→dAB

A→aA|a

B→Bb|ε

G[S] 产生的语言是什么？

答：G[S]产生的语言是L(G[S])={danbm│n≥1,m≥0}。

2. 简述 DFA 与 NFA 有何区别 ?

word格式-可编辑-感谢下载支持

答：DFA与NFA的区别表现为两个方面:一是NFA可以若干个开始状态，而DFA仅

只一个

开始状态。 另一方面，DFA的映象M是从K×Σ到K，而NFA的映象M是从K×Σ

到K的

子集， 即映象M将产生一个状态集合（可能为空集），而不是单个状态。

3. 构造正规式相应的 DFA : 1(1010 * | 1(010) * 1) * 0。

解：1(1010 * | 1(010) * 1) * 0对应的NFA为：

4. 已知文法G(S)

S→a|∧|(T)

T→T，S|S

word格式-可编辑-感谢下载支持

写出句子((a，a)，a)的规范归约过程及每一步的句柄。

解：

句型 归约规则 句柄

((a，a)，a) S→a a

((S，a)，a) T→S S

((T，a)，a) S→a a

((T，S)，a) T→T，S T，S

((S)，a) T→S S

((T)，a) S→S(T) (T)

(S，a) T→S S

(T，a) S→a a

(T，S) T→T，S T，S

(T) S→(T) (T)

S

5. 何谓优化？按所涉及的程序范围可分为哪几级优化？

1)优化：对程序进行各种等价变换，使得从变换后的程序出发，能产生更有效的目

标代码。

(2) 三种级别：局部优化、循环优化、全局优化。

五.计算题（10分）

对下面的文法 G ：

E->TE'

E'->+E| ε

T->FT'

T' ->T| ε

word格式-可编辑-感谢下载支持

F-> PF'

F'-> *F'| ε

P->(E)|a|b|^

(1)计算这个文法的每个非终结符的 FIRST 集和 FOLLOW 集。 (4分)

(2) 证明这个方法是 LL(1) 的。(4分)

(3) 构造它的预测分析表。(2分)

解：（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)={+,),#};//不包含ε

word格式-可编辑-感谢下载支持

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]的预测分析表如下：

《编译原理》模拟试题三

一、是非题（请在括号内，正确的划√，错误的划×）（每个2分，共20分）

1．对于数据空间的存贮分配，FORTRAN采用动态贮存分配策略。(×)

2．甲机上的某编译程序在乙机上能直接使用的必要条件是甲机和乙机的操作系统

功能完全

相同。(× )

3．递归下降分析法是自顶向上分析方法。(√ )

4．产生式是用于定义词法成分 的一种书写规则。 (×)

word格式-可编辑-感谢下载支持

5．LR 法是自顶向下语法分析方法。 (√ )

6．在 SLR （ 1 ）分析法的名称中，S的含义是简单的。(√)

7．综合属性是用于 “ 自上而下 ” 传递信息。(× )

8．符号表中的信息栏中登记了每个名字的 属性和特征等有关信息 ，如类型、种

属、所占

单元大小、地址等等。 (×)

word格式-可编辑-感谢下载支持

9．程序语言的语言处理程序是一种应用软件。 (×)

10．解释程序适用于 COBOL 和 FORTRAN 语言。 (×)

二、选择题(请在前括号内选择最确切的一项作为答案划一个勾，多划按错论)(每

个4分，共

40分)

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． 数组的内情向量中肯定不含有数组的_____的信息。

word格式-可编辑-感谢下载支持

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分，共10分)

1．一个句型中的最左简单短语称为该句型的___句柄__。

2．对于文法的每个产生式都配备了一组属性的计算规则，称为 __语义规则___ 。

3．一个典型的编译程序中，不仅包括__词法分析___、__语法分析___、__中间代

码生成___、

代码优化、目标代码生成等五个部分，还应包括表格处理和出错处理。

4． 从功能上说，程序语言的语句大体可分为__执行性___语句和__说明性___语句

两大类。

5． 扫描器的任务是从__源程序___中识别出一个个___单词符号__。

6． 产生式是用于定义__语法范畴___的一种书写规则。

word格式-可编辑-感谢下载支持

四、简答题（20分）

word格式-可编辑-感谢下载支持

1. 写一个文法，使其语言是奇数集，且每个奇数不以0开头。

解：文法G(N)：

N→AB|B

A→AC|D

B→1|3|5|7|9

D→B|2|4|6|8

C→0|D

2. 设文法G(S)：

S→(L)|a S|a

L→L，S|S

(1) 消除左递归和回溯；

(2) 计算每个非终结符的FIRST和FOLLOW。

解：(1)

S→(L)|aS'

S'→S|ε

L→SL'

L'→SL'|ε

(2)

FIRST)S)＝{(，a} FOLLOW(S)＝{#，，，)}

FIRST(S')＝{，a,ε} FOLLOW(S')＝{#，，，)}

FIRST(L)＝{(，a} FOLLOW(L)＝{ )}

FIRST(L')＝{，，ε} FOLLOW(L'〕＝{ )}

3. 已知文法G(E)

E→T|E＋T

T→F|T *F

F→(E)|i

(1)给出句型(T *F＋i)的最右推导；

(2)给出句型(T *F＋i)的短语、素短语。

解：(1) 最右推导： E->T->F->(E)->(E＋T)->(E＋F)->(E＋i)

word格式-可编辑-感谢下载支持

->(T＋i)->(T*F＋i)

(2) 短语：(T*F＋i)，T*F＋i，T*F，i

素短语：T*F,i

4. While a＞0 ∨ b＜0 do

Begin

X：＝X＋1；

if a＞0 then a：＝a－1

else b：＝b＋1

word格式-可编辑-感谢下载支持

End；

翻译成四元式序列。

解：

(1) (j＞，a，0，5)

(2) (j，－，－，3)

(3) (j＜，b，0，5)

(4) (j，－，－，15)

(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)

五.计算题（10分）

已知 NFA= （ {x,y,z},{0,1},M,{x},{z} ），其中：