编译原理期末复习题(含标准标准答案)-2

第八节习题-、单项选择题

1、将编译程序分成若T个“遍”是为了.

a.提高程序地执行效率

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

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

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

2、构造编译程序应掌握.

a.源程序b.目标语言

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

3、变量应当.

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

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

4、编译程序绝大多数时间花在上.

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

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

5、不可能是口标代码.

a.汇编指令代码b.可重定位指令代码

c.绝对指令代码d.中间代码

6、使用可以定义一个程序地意义

a.语义规则b.词法规则

c.产生规则d.词法规则

7、词法分析器地输入是.

a.单词符号串b.源程序

c.语法单位d.目标程序

8、中间代码生成时所遵循地是

.语法规则b.词法规则

.语义规则d.等价变换规则

9、编译程序是对.

a.汇编程序地翻译b.高级语言程序地解释执行

c.机器语言地执行d.高级语言地翻译

10、语法分析应遵循.

a.语义规则b.语法规则

c.构词规则d.等价变换规则

解答

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

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

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

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

5、目标代码包括汇编指令代码、可重定位指令代码和绝对指令代码3种，因此不是目标代码地

只能选d.

6、词法分析遵循地是构词规则，语法分析遵循地是语法规则，中间代蚂生成遵循地是语义规则,

并且语义规则可以定义一个程序地意义.因此选a.

7、b8、c9、d10、c

二、多项选择题

1、编译程序各阶段地工作都涉及到.

a.语法分析b.表格管理c.出错处理

d.语义分析e.词法分析

2、编译程序工作时，通常有阶段.

a.词法分析b.语法分析c.中间代码生成

d.语义检查e.目标代码生成

解答

1.b>c2.a、b、c、e

三、填空题

1、解释程序和编译程序地区别在于.

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

工作过程中，第一段输入是，最后阶段地输出为程序.

4、编译程序是指将程序翻译成程序地程用.解答

是否生成目标程序2、词法分析中间代码生成3、源程序目标代旦生成4、源程序目

标语言

一、单项选择题

1、文法G：S—xSx卜所识别地语言是.

a.xyxb.(xyx)*c.xnyxn(n^O)d.x*yx*

2、文法G描述地语言L(G)是指.

a.L(G)={a|S当a,aGVT*)b.L(G)={a|S4a»aGVT*}

c.L(G)={a|S4a,ae(VTUVN*)}d.L(G)={a|S^a,ae(VTUVN*)}

3、有限状态自动机能识别.

a.上下文无关文法b.上下文有关文法

c.正规文法d.短语文法

4、设G为算符优先文法，G地任■意终结符对a、b有以下关系成立.

a.若f(a)>g(b),则a>bb.若f(a)<g(b),则a<b

c.a~b都不一定成立d.a~b一定成立

5、如果文法G是无二义地，则它地任何句子a.

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

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

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

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

6、由文法地开始符经0步或多步推导产生地文法符号序列是.

a.短语b.句柄c.句型d.句子

7、文法G：ETE+T|T

T->T+P|P

PT(E)|I

则句型P+T+i地句柄和最左素短语为.

a.P+T和ib.P和P+Tc.i和P+T+id.P和T

8、设文法为：S-SA|A

A一a|b

则对句子aba,下面是规范推导.

a.SnSAnSAAnAAA=aAAnabAnaba

b.SnSAnSAA=AAA=AAa=Aba=aba

c.SnSA=SAAnSAanSbanAba=aba

d.S=>SA=>Sa=>SAa=>Sba=>Aba=>aba

9、文法G：S-b|A(T)

T—T,S|S

则FIRSTVT(T).

a.{b,A,(}b.{b,A,)Jc.{b,A,(,,}d.{b,A,),»}

10、产生正规语言地文法为.

U.0型b.1型c.2型d.3型

II、采用自上而下分析，必须.

a.消除左递归b.消除右递归c.消除回溯d.提取公共左因子

12、在规范归约中，用来刻画可归约串.

a.直接短语b.句柄c.最左素短语d.素短语

13、有文法G：E-*E*T|T

T-T+i|i

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

a.23B.42c.30d.17

14、规范归约指.

a.最左推导地逆过程b.最右推导地逆过程

c.规范推导d.最左归约地逆过程

［解答］

1、选c.

2、选a.

3、选c.

4、虽然a与b没有优先关系，但构造优先函数后,a与b就一定存在优先关系了.所以，由f(a)>g)(b)

或f(a)<g(b)并不能判定原来地a与b之间是否存在优先关系：故选c.

5、如果文法G无二义性，则最左推导是先生长右边地枝叶：对于d,如果有两个不同地是了左

推导，则必然有二义性.故选a.

6、选c.

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

E

/1\

E+F

T

T

P

#<•+•>+<•!->#

图2-8-1句型P+T+I地语法及优先关系

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

9、由T-T,…和T->(…得FIRSTVT(T))=｛(,,)｝；

由T—S得FIRSTVT(S)UFIRSTVT(T),而FIRSTVT(S尸｛b,A,(｝；即

riRSTVT(T)=｛b,A,(,,)；因此选c.

10、d11、c12、b13、b14、b

二、多项选择题

1、下面哪些说法是错误地.

a.有向图是一个状态转换图b.状态转换图是一个有向图

c.有向图是一个DFAd.DFA可以用状态转换图表示

2、对无二义性文法来说,一棵语法树往往代表了.

a.多种推导过程b.多种最左推导过程c.一种最左推导过程

d.仅一种推导过程e.一和最左推导过程

3、如果文法G存在一个句子，满足下列条件之一时，则称该文法是二义文法.

a.该句子地最左推导与最右推导相同

b.该句子有两个不同地最左推导

c.该句子有两棵不同地最右推导

d.该句子有两棵不同地语法树

c.该句子地语法树只有一个

4、有一文法G：S—AB

A—>aAb|£

B—>cBd|e

它不产生下面集合.

a.{anbmcndm|n,m^O)b.{anbncmdm|n,rn>0|

c.{anbmcmdn|n,m^O}d.1nd"in,m妾0}

e.{anbncndn|n>0)

5、自下而上地语法分析中,应从开始分析.

a.句型b.句子c.以单词为单位地程序

d.文法地开始符e.句柄

6、对正规文法描述地语言，以下有能力描述它.

a.0型文法b.l型文法c.上下文无关文法d.右线性文法e.左线性文法

解答1、e、a、c2、a、c、e3、b、c、d4、a、c5、b、c6、a、b、c、d、e

三、填空题

1、文法中地终结符和非终结符地交集是.词法分析器交给语法分析器地文法符号一定是，它一

定只出现在产生式地部.

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

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

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

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

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

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

自动机识别所产生地语言.

解答1、空集终结符右

2、最左

3、自上而上自下而上

4、自上而上

5、语法分析

6、移进接受

7、42型3型上下文无关语言正规语言下推自动机有限

四、判断题

1、文法S-aS|bR|£描述地语言是（a|bc）*

R->cS

在自下而上地语法分析中，语法树与分析树一定相同.

3、二义文法不是上下文无关文法.

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

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

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

解答1、对2、错3、错4、错5、错6、错

五、简答题

1、句柄2、素短语3、语法树4、归约5、推导

［解答］

口1、句柄：一个句型地最左直接短语称为该句型地句柄.

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

3、语法树：满足下面4个条件地树称之为文法G［S］地一棵语法树.

①每一终结均有一标记，此标记为VNUVT中地一个符号；

②树地根结点以文法G［S］地开始符S标记；

③若一结点至少有一个直接后继，则此结点上地标记为VN中地一个符号；

④若一个以A为标记地结点有K个直接后继，且按从左至右地顺序，这些结点地标记分别

为Xi,X2,…,XK，则A—XI,X2,…,XK，必然是G地一个产生式.

4、归约：我们称aYB直接归约出aAB,仅当A->Y是一个产生式，且a、Be（VNUVT）*

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

始符.

5、推导：我们称aAB直接推出。yB,即aABnayB,仅当A-丫是一个产生式，且a、

NT

B£（VUV）*.如果a）=>a2=>--=>an,则我们称这个序列是从a｝至a2地一个推导.若存在一

个从a।an地推导，则称ai可推导出a皿推导是归约地逆过程.

六、问答题

1、给出上下文无关文法地定义.

［解答］

一个上下文无关文法G是一个四元式（VT,VN,S,P）,其中：

•VT是一个非空有限集，它地每个元素称为终结符号；

•VN是一个非空有限集，它地每个元素称为非终结符号，vTnvN=o；

•S是一个非终结符号，称为开始符号；

•P是一个产生式集合（有限），每个产生式地形式是p—a,其中，P£VN，

a£（VTUVN）*.开始符号S至少必须在某个产生式地左部出现一次.

2、文法G［S］：

S->aSPQ|abQ

QP—PQ

bP—>bb

bQ—bc

CQTCC

（1）它是Chomsky哪一型文法？

（2）它生成地语言是什么？

［解答］

口（1）由于产生式左部存在终结符号，且所有产生式左部符号地长度均小于等于产生式右部地符

号长度，所以文法G［S］是Chomskyl型文法，即上下文有关文法.

（2）按产生式出现地顺序规定优先级由高到低（否则无法推出句子），我们可以得到：

SnabQnabc

S=aSPQ=aabQPQnaabPQQ=aabbQQ=aabbcQ=aabbcc

S=>aSPQ=>aaSPQPQ=>aaabQPQPQ=>aaabPQQPQ=>aaabPQPQQ=>aaaPPQQQ=>

aaabbPqqq=>aaabbQQQ=>aaabbbcQQ=>aaabbbccQ=>aaabbbccc

于是得到文法G［S］生成地语言LRaWininei}

3、按指定类型，给出语言地文法.

L={aibi［i>i21}地上下文无关文法.

【解答】

（1）由L={aibHj>iel}知，所求该语言对应地上下文无关文法首先应有S-aSb型产生式，以

保证b地个数不少于a地个数；其次，还需有S-Sb或S-bS型地产生式，用以保证b地个数多于

a地个数；也即所求上下文无关文法G［S］为：

G［S］：S-*aSb|Sb|b

4、有文法G：S-aAcB|Bd

A-*AaB|c

B-*bScA|b

（1）试求句型aAaBcbbdcc和aAcbBdcc地句柄；

（2）写出句子acabcbbdcc地最左推导过程.

【解答】（1）分别画出对应两句型地语法树，如图2-8-2所示

句柄:AaBBd

(b)

(a)

图2-8-2语法树

(2)句子acabcbbdcc地最左推导如下：

S=>aAcB=>aAaBcB=>acaBcB=>acabcB=>acabcbScA=>acabcbBdcA

zz?auabcbbduA=>acabcbbdcc

5、对于文法G[S]：

S-*(L)|aS|aL-*L,S|S

(1)画出句型(S,(a))地语法树.(2)写出上述句型地所有短语、直接短语、句柄和素短语.

【解答】S

(1)句型(S,(a))地语法树如图2-8-3所示/|\

(L)

(2)由图2-8-3可知：S

①短语：S^a>(a)、S,(a)>(S,(a))；

②直接短语：a、S；图283句型(S,(a))地语法树

③句柄；S；

④素短语：素短语可由图2・8-3中相邻终结符之间地优先关系求得，却；

#<&,<(<a>)>)>#

因此索短语为a.

6、考虑文法G[T]：

T-*T*F1F

F-FtP|P

P-(T)|i

证明T*Pt(T*F)是该文法地一个句型，并指出直接短语和句柄.

【解答】

首先构造T*Pt(T*F)地语法树如图2-8-4所示.

由图2-8-4可知，T*Pt(T*F)是文法G[T]地一个句型.

直接短语有两个，即P和T*F：句柄为P.

图2-8~4句型T*Pf(T*F)地语法树

一、单项选择题

1、词法分析所依据地是.

a.语义规则b.构词规则C.语法规则d.等价变换规则

2、词法分析器地输出结果是.

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

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

3、正规式Mi和M2等价是指.

a.Mi和M?地状态数相等b.Mi和M2地有向弧条数相等

c.Mi和M2所识别地语言集相等d.Mi和M2状态数和有向弧条数相等

4、状态转换图(见图3-6-1)接受地字集为.

图361

a.以0开头地二进制数组成地集合b.以0结尾地二进制数组成地集合

c.含奇数个。地二进制数组成地集合d.含偶数个。地二进制数组成地集合

5、词法分析器作为独立地阶段使整个编译程序结构更加简洁、明确，因此，.

a.词法分析器应作为独立地一遍b.词法分析器作为子程序较好

c.词法分析器分解为多个过程，由语法分析器选择使用d.词法分析器并不作为一个独立地阶段

解答1、b2、c3、c4、d5、b

二、多项选择题

1、在词法分析中，能识别出.

a.基本字b.四元式c.运算符

d.逆波兰式e.常数

2、令工=g白},则X上所有以b开头，后跟若干个ab地字地全体对应地正规式为.

a.b(ab)*b.b(ab)+c.(ba)*b

d.(ba)+be.b(a|b)

解答1、a、c、e2、a、b、d

三、烦空题

1、确定有限自动机DFA是地一个特例.

2、若二个正规式所表示地相同，则认为二者是等价地.

3、一个字集是正规地，当且仅当它可由所.

解答1、NFA2、正规集3、DFA(NFA)所识别

四、判断题

1、一个有限状态自动机中，有且仅有一个唯一终态.()

2、设r和s分别是正规式，则有L(r|s)=L(r)|L(s).()

3、自动机M和M'地状态数不同，则二者必不等价.()

4、确定地自动机以及不确定地自动机都能正确地识别正规集.()

5、对任意一个右线性文法G,都存在一个NFAM,满足L(G)=L(M).()

6、对任意一个右线性文法G,都存在一个DFAM,满足L(G)=L(M).()

7、对任何正规表达式e,都存在一个NFAM,满足L(G)=L(e).()

8、对任何正规表达式e,都存在一个DFAM,满足L(G尸L(e).()

解答1、2、3、错4、5、6、7、8、正确

五、基本题

1、设乂=({x,y},{a,b},f,x,{y})为一非确定地有限自动机,其中f定义如下:

f(x,a)={x,y}f(x,b)={y}

f(y,a)=力f(y,b)={x,y}

试构造相应地确定有限自动机M

解答：对照自动机地定义M=(SN,f,So.Z),由f地定义可知f(x,a)、f(y,b)均为多值函数，所以是一非

确定有限自动机，先画出NFAM相应地状态图，如图3-6-2所示.

图3-6-2NFAM

用子集法构造状态转换矩阵表3-6-3所示.

Ilalb

(X){x,y}ly)

(y)—{x,y}

{x,y}{x,y}{x.y}

将转换矩阵中地所有子集重新命名而形成表3-6-4所示地状态，传换矩阵.

表3-6-4状态转换矩阵

ab

021

1—2

222

即得到M，=({0,1,2},{a,b),f,O,{1,2}),其状态转换图如图3-6-5所示.

Q

将图3-6-5地DFA最小1,2考察

{1,2}.由于{1,2卜={1,22={2}『12],所以不再将其发：令

状态1代表(1,2},即把原来到达2地孤都导向1,并制涂状态2最后，得到加医3-6-6所示化简DFA

M'.

图3-6-6化简后地DFAM，

2、对给定正规式b*(d|ad)(b|ab)\构造其NFAM；

解答：首先用A+=AA'改造正规式得：b4(d|ad)(b|ab)(b|ab)*；其次，构造该正规式地NFAM,如图367

所示.

X£4£123£5£Y

a

6da

7b8

图3-6-7地NFAM

1、构造下面文法地LL(1)分析表.

D一TL

T—►int|real

L-idR

R->,idR|£

解答：LL(1)分析表见表4-3-1

分析虽然这个文法很简单，我们还是从求开始符号集合和后继符号集合开始.

FIRST(D)=FIRST(T)={int,real}FOLLOW(D)=FOLLOW(L)={#)

FIRST(L)={id}FOLLOW(T)={id}

FIRST(R)={,,£}FOLLOW(R)={#}

有了上面每个非终结符地FIRST集合，填分析表时要计算一个产生式右部a地FIRST(a)就

不是件难事了.

填表时唯一要小心地时，£是产生式R-^右部地一个开始符号，而#在FOLLOW(R)中，所

以R-e填在输入符号#地栏目中.

表4-3-1LL(1)分析表

非终结符输入符号

intrealid9#

DD-TLD-TL

TT-*intT-*real

LL-*idR

RRf,：dRR--£

2、下面文法G[S]是否为LL(1)文法？说明理由.

SfAB|PQxAfxyB-be

PfdP|8QfaQ|8

解答：该文法不是LL(1)文法，见下面分析中地说明.

分析只有三个非终结符有两个选择.

1、P地两个右部dP和£地开始符号肯定不相交.

2、Q地两个右部aQ和E地开始符号肯定不相交.

3、对S来说，由于X£FIRST(AB),同时也有X£FIRST(PQX)(因为P和Q都可能为空).

所以该文法不是LL(1)文法.

3、设有以下文法：

G[S]：S-aAbDe|d

A-*BSD|e

B-*SAc|cD|e

D-*Se|E

(1)求出该文法地每一个非终结符U地FOLLOW集.

(2)该文法是LL(1)文法吗？

(3)构造C[S]地LL(1)分析表.

解答：(1)求文法地每一个非终结符U地FOLLOW集地过程如下：

因为：

①S是识别符号，且有A-BSD、B-SAc、D-Se,所以FOLLOW(S)应包含

FIRST(D)UHRST(Ac)UFIRST(e)U(#)

={a,d}U{a,d,c,e}U{e}U[#}

={a,c,d,e#)

②又因为A-BSD和D-£,所以FOLLOW中还包含FOLLOW(A).

因为S-aAbDe和B~SAc,所以

FOLLOW(A)=FIRST(bDe)UFIRST(c)={b,c}

综合①、②得FOLLOW(S)={a,d,c,e,#}U{a,b,c,d,e,#}

因为AfBSD,所以FOLLOW(B)=FIRST(SD)={a,d}

因为SfaAbDc|d、A-BSD|e和B-SAc|cD,所以

FOLLOW(D):FIRST(e)UFOLLOW(A)UFOLLOW(B)

={e}U{b,c}U{a,d}={a,b,c,d,e}

(2)G[S]不是LL(1)文法.

因为产生式B-SAc|cD|£中

FIRST(SAc)nFOLLOW(B)={a,d}#0

(3)构造G[S]地LL(1)分析表.

按照LL(1)分析表地构造算法构造方法G[S]地LL(1)分析表如表4-3-2所示.

表4-3-2G[S]地LL(1)分析表

abCde#

SaAbDcd

ABSDBSDBSDe

BSac/ecDSac/e

DSe/£££Se/££

4、将文法G[V]改造成为LL(1)地.

G[V]：V-N|N[E]

E-*V|V+E

N-i

解答：对文法G[V]提取公共左因子后得到文法：

G'[V]：V~NA

A-el[E]

E-VB

B-*el+E

N-i

求出文法G'[V]中每一个非终结符号地FIRST集：

FIRST(V)={i}HRST(A)={[,e)

HRST(E)={i}FIRST(B)={+,e}

HRST(N)={i)

求出文法G'[V]中每一个非终结符号地FOLLOW集：

FOLLOW(V)={#(UFIRST(B)\(e)UFOLLOW(E)={#,+,])

FOLLOW(A)=FOLLOW(V)={+„#}

FOLLOW(E)=FIRST(1)\[£]UFOLLOW(B)=HRST(])\{e}UFOLLOW(E)={])

FOLLOW(B)=FOLLOW(E)=(]}

FOLLOW(N)=HRST(A)\{£}UFOLLOW(V)={[,],+,#)

可以看到，对文法G'[V]地产生式A-£|[E],有

FIRST([E])DFOLLOW(A)={[)n{+,],#)=0

对产生式B->£l+E,有

FIRST(+E)ClFOLLOW(B)={+}0{])=0

而文法地其他产生式都只有个不为£地右部，所以文法G'[V]是LL(1)文法.

5、已知文法：

G[A]：A-aAal8

(1)该文法是LL(1)文法吗？为什么？

(2)若采用LL(1)方法进行语法分析，如何得到该文法地LL(1)分析表？

(3)若输入符号串“aaaa”，请给出语法分析过程.

解答：(1)因为产生式A-aAa2有空产生式右部，而

FOLLOW(A)={#)UFIRST(a)={a,#)

造成FIRST(A)DFOLLOW(A)={A,£)n{a,#}W0

所以该文法不是LL(1)文法.

(2)若采用LL(1)方法进行语法分析，必须修改该文法.

因该文法产生偶数(可以为0)个a,所以得到文法

G[A]：A->aaA|8

此时对产生式A-aaA|w,有FOLLOW(A)={#}UFOLLOW(A)=(#),因而

FIRST(A)nFOLLOW(A)={a,E)n{#}=0

所以文法G'[A]是LL(1)文法，按LL(1)分析表构造算法构造该文法地LL(1)分析表如表4-3-3

所示.

表4-3-3文法G'[A]地LL⑴分析表

A#

AA—aaAAf£

(3)若采用LL(1)方法进行语法分析，对符号串“aaaa”地分析过程如表4-3-4所示.

表4.3・4对符号串“aaaa”地分析过程

步骤分析栈输入串产生式/动作

1#Aaaaa#A-*aaA

2#Aaaaaaa#匹配

3#Aaaaa#匹配

4#Aaa#A-*aaA

5#Aaaaa#匹配

6#Aaa#匹配

7#A#A-*£

8##接受

第七节习题

设有文法G[S]为：

S-a|b|(A)

ATdA|S

(1)完成下列算符优先关系表，见表5-7・1,并判断G[S]是否为算符优先文法.

表5-7-1算符优先关系表

ah()d#

a>>

b>>

(<<<工

)>>

d

#<<<3E

(2)给出句型(SdSdS)地短语、简单短语、句柄、素短语和最左素短语.

(3)给出输入串(adb)#地分析过程.

解答：

(1)先求文法G[S]地FIRSTVT集和LASTVT集：

由Sfa|b|(A)得：FIRSTVT(S)={a,b,();

由A-Sd…得：r1^1'丫1'(人户{(1};又由A-S…得：HRSTVT(S)cFIRSTVT(A),即

FlRSTVT(A)={d,a,b,(};

由S-a|b|(A)得；LASTVT(S)={a,b,}};

由A-…dA得：LASTVT(A)={d},又由A-S得：LASTVT(S)uLASTVT(A),即

LASTVT(A)={d,a,b,)}.

构造优先关系表方法如下：

①对P--…ab…，或P->…aQb…，有a=b:

②对Pf・・・aR…，而beFIRSTVT(R),有a《b;

③对P—・・Rb…,而aWFIRSTVT(R),有a»b.

由此得到：

①由S-(A)得：(工)；

②由S-(A…得：(<FIRSTVT(A),即:(«d,(《a,(«b,(«(;由A-…dA得：d<FIRSTVT(A),

即：d<d,d<a,d<b,d<(;

③由S—A)得，LASTVT(A)A),即：d>),a>),b>),)>);SAfSd…得：LASTVT(S)”,即：a>d,b>d,)>

d;

此外，由#5#得：#=#；

由#《FIRSTVT(S)得：#<a.#<b,#<(；脂由LASTVT(S)却得：d>#,a>#,b>#,)>#.

最后得到算符优先关系表，见表5-7-2.

表5・7・2算符优先关系表

ab()d#

a>>>

b>>>

(<<<3E

)>>>

d<<<><>

#<<<SEE

由表5-7-2可以看出，任何两个终结符之间至少只满足衣、《、》三种优先关系之一，故G[S]为

算符优先文法.

（2）为求出句型（SdSdS）地短语、简单短语、句柄，1戈们先画出该句型对应地语法树，如图

5-7-3所示.由图5-7-3得到：

短语：S,SdS,SdSdS,（SdSdS）

简单短语（即直接短语）：S/K

句柄（即最左直接短语）：S

素短语：SdS,它同时也是该句型地最左素短语.

八

s/R

SdA

S

rmlrc/~~tUli,c、1Ila*HJr」

(3)输入串(adb)#地分析过程见表5-7-4

表5-7-4输入串(adb)#地分析过程

符号栈输入串说明

#(adb)#移进

#(adb)#移进

#(adb)#用S-a归约

#(Sdb)#移进

#(Sdb)#移进

#(Sdb)#用S-b归约

#(SdS)#用A-S归约

#(SdA)#用A-SdA归约

#(A)#移进

#(A)#用S-(A)归约

#S#分析成功

第四节习题

一、单项选择题

1、若a为终结符，则A-a-a0为项目

a.归约b.移进c.接受d.待约

2、若项目集k含有Af(x・，则在状态k时，仅当面临地输入符号aeFOLLOW(A)时，才采取“A

-*a・”动作地一定是.

a.LALR文法b.LR(0)文法c.LR(1)文法d.SLR(1)文法

3、就文法地描述能力来说，有.

a.SLR(1)CLR(0)b.LR(1)uLR(0)c.SLR(1)uLR(1)d.无二义文法＜=LR(1)

4、在LR(0)地ACTION子表中，如果某一行中存在标记“丁地栏，则.

a.该行必定填满rjb.该行未填满G

c.其他行也有rjd.goto子表中也有rj

5、一个指明了在分析过程中地某时刻所能看到产生式多大一部分.

a.活前缀b.前缀c.项目d.项目集

解答：

1、A-a•称为归约项目，对文法开始符S，地归约项目，如S，-a•称为接受项目，A~a•邓

(a为终结符)称为移进项目.在此选b.

2、当用产生式A-a归约时:LR(0)无论面临什么输入符号都进行归约；SLR(1)则仅当面

临地输入符号awFOLLOW(A)时进行归约；LR(1)则当在把a归约为A地规范句型地前缀pAa前

提下，当a后跟终结符a时，才进行归约；因此选d.

3、由于LR(0)uSLR(1)uLR(1)u无二义文法，故选c.

4、选a.

5^选c.

二、多项选择题

1、一个LR分析器包括.

a.一个总控程序b.一个项目集c.一个活前缀

d.一派芬析表个分析栈

2、LR分析器核心部分是一张分析表，该表包括等子表.

a.LL(l)分析b.优先关系c.GOTO

d.LRe.ACTION

3、每一项ACTION[S,a]所规定地动作包括.

a.移进b.比较c.接受d.归约e.报错

4、对LR分析表地构造，有可能存在动作冲突.

a.移进b.归约c.移进/归约d.移进/移进e.归约明约

5、就文法地描述能力来说，侑.

a.SLR(1)CLR(1)b.LR(1)(=SLR(1)c.LR(0)uLR(1)

d.LR(1)u无二义文法e.SLR(1)u无二义文法

6、对LR分析器来说，存在等分析表地构造方法.

a.LALRb.LR(0)c.SLR(1)d.SLR(0)e.LR(I)

7、自上而下地语法分析方法有.

a.算符优先分析法b.LL(l)分析法c.SLR(1)分析法

d.LR(0)分析法e.LALR(1)分析法

解答：

1.一个LR分析器包括一个总控程序和一张分析表，选a、d.

2、选c、e.

3、选a、c、d、e.

4、在LR分析表地构造中有可能存在“移进”/“归约”和“归约”/“归约”冲突；故选c、e.

5、选a、b^c^d、e.

6、选a、b、c、e.

7、选a>c、d、e.

三、填空题

1、对于一个文法，如果能够构造.使得它地均是唯一确定地，则称该文法为LR文法.

2、字地前缀是指该字地.

3、活前缀是指地一个前缀，这种前缀不含之后地任何符号.

4、在LR分析过程中，只要地已扫描部分保持可归约成一个，则扫描过地部分正确.

5、将识别地NFA确定化，使其成为以为状态地DFA,这个DFA就是建立地基础.

6、A-a•称为项目；对文法开始符卜一a•为项目；若a为终结符，则称A-a-