编译原理第4章作业答案.docxVIP

第四章习题4.2.1：考虑上下文无关文法：S-〉SS+|SS*|a以及串aa+a*

（1）给出这个串的一个最左推导

S-

S

S

*

-

S

S

+

S

*

-

a

S

+

S

*

-

a

a

+

S

*

-

aa

+;

a*

（3）给出这个串的一棵语法分析树

习题4.3.1：下面是一个只包含符号a和b的正则表达式的文法。它使用+替代表示并运算的符号|,以避免和文法中作为元符号使用的竖线相混淆：

rexprTrexpr+rterm|rtermrterm—rtermrfactor|rfactorrfactor—rfactor*|rprimaryrprimary—a|b

1）对这个文法提取公因子

2）提取公因子的变换使这个文法适用于自顶向下的语法分析技术吗？

3）提取公因子之后，原文法中消除左递归

4）得到的文法适用于自顶向下的语法分析吗？

解

1）提取左公因子之后的文法变为rexpr—rexpr+rterm|rtermrterm—rtermrfactor|rfactorrfactor—rfactor*|rprimaryrprimary—a|b

2）不可以，文法中存在左递归，而自顶向下技术不适合左递归文法

3）消除左递归后的文法

rexpr-rtermrexpr

rexpr-+rtermrexprlerterm-rfactorrtermrterm-factorrterm|erfactor-rprimayrfactorfactor-〉*rfactor|erprimary-a|b

该文法无左递归，适合于自顶向下的语法分析

习题4.4.1：为下面的每一个文法设计一个预测分析器，并给出预测分析表。可能要先对文法进行提取左公因子或消除左递归

(3)S-〉S(S)S|*

(5)S-(L)|aL-L,S|S

解

(3)

①消除该文法的左递归后得到文法

S-〉S

S-〉(S)SS|*

用类Pascal语言构造的一个预测分析器：

PROCEDURES

BEGIN

S;

WHILE(lookahead二二()

THENBEGIN

match(();

S;

match());

END;

ELSEIF(lookahead==a‘)

THENmatch(a)

ELSEerror

END;

②计算FIRST和FOLLOW集合

FIRST(S)={(,*}FOLLOW(S)={),$}

FIRST(S)={(,*}FOLLOW(S)={),$}

③构建预测分析表

非终结符号

输入符号

(

)

$

S

S-S

S-S

S-S

S

S-(S)SS

S-*

S-*

(5)

①消除该文法的左递归得到文法

S-〉(L)|a

L-SL

L-〉,SL|￡

用类Pascal语言的一个预测分析器：

PROCEDURES

BEGIN

if(lookahead二二()

THENBEGIN

match(();L;

match());

END;

ELSEIF(lookahead==a‘)

THENmatch(a)

ELSEerror

END;

PROCEDUREL;

BEGIN

S;

WHILE(lookahead==，);

BEGIN

match(,);S;

END;

END;

②计算FIRST与FOLLOW集合FIRST(S)={(,a}FOLLOW(S)={),,,$}

FIRST(L)={(,a}FOLLOW(L)={)}

FIRST(L)={,,￡}FOLLOW(L)={)}

③构建预测分析表

非终结符号

输入符号

(

)

a

$

S

S-(L)

S-a

L

L-SL

L-SL

L

L-￡

L-〉,SL

习题4.4.4计算练习4.2.2的文法的FIRST和FOLLOW集合3)STS(S)S|￡

ST(L)|a,LTL,S|S解：

3)FIRST(S)={￡,(}FOLLOW(S)={(,),$}

FIRST(S)={(,a}FOLLOW(S)={),,,$}

FIRST（L）={（,a}FOLLOW（L）={）,,}

习题4.6.2为练习4.2.1中的增广文法构造SLR项集，计算这些项集的GOTO函数，给出这个文法的语法分析表。这个文法是SLR文法吗？

STSS+|SS*|a

解：①构造该文法的增广文法如下

S-S

S-SS+

S-SS*

S-a

②构造该文法的LR(0)项集如下

10

11

12

13

14

15

S-.S

S-s.

S-〉a.

s-ss.+

s-ss+.

s-ss*.

s-〉.ss+

s-〉s.s+

s-ss.*

s-〉.ss*

s-〉s.s*

s-s.s+

S-〉.a

s-〉.ss+

s-s.s*

s-.ss*

s-.ss+

S-〉.a

s-.ss*

S-〉.a

GOTO函数如下

GOTO（I0，S）=I1GOTO（I0，a）=I2

GOTO（I1，S）