编译原理陈火旺版第五章课后题答案

钻仰弥坚

已于 2024-12-26 17:44:20 修改

阅读量3.3w

点赞数 235

分类专栏：编译原理文章标签：编译原理

于 2023-03-22 00:36:00 首次发布

本文链接：https://blog.csdn.net/capture3333/article/details/129644187

版权

编译原理专栏收录该内容

9 篇文章

订阅专栏

下面答案仅供参考！

修改了第五题和第八题答案
添加了第七题

1．令文法G为:

E→E+T∣T

T→T*F∣F

F→(E)∣i

证明E+T*F是它的一个句型,指出这个句型的所有短语,直接短语和句柄。

2．考虑下面的表格结构文法G2:

S→a∣∧∣(T)

T→T，S∣S

(1）给出( a，(a，a))和(((a，a)，Λ，(a))，a)的最左和最右推导。

(2）指出(((a，a)，Λ，(a))，a)的规范归约及每一步的句柄。根据这个规范归约,给出“移进-归约”的过程,并给出它的语法树自下而上的构造过程。

更清楚的过程：

3.(1)计算练习2文法的FIRSTVT和LASTVT。

(2)计算的优先关系。G是一个算符优先文法吗?

(3）计算的优先函数。

(4）给出输入串(a，(a，a))的算符优先分析过程。

之前博客里写的一个解法，是看了一个版本的参考答案写的，写到后面似乎有点问题。

在网上看到了另外一个版本的回答，也贴出来看看。

算符优先分析过程跳过了对单非终结符的归约。

4、存在一种称为简单优先的自下而上分析法，这种分析法不会把错误句子当作为正确句子。一个文法G，如果它不含ε-产生式，也不含任何右部相同的不同产生式，并且它的任何符号对（X，Y）——X和Y为终结符或非终结符——顶多存在下述三种关系=、<、>之一，则称这个文法G是一个简单优先文法。这三种关系的定义是：

(1）构造文法G2的简单优先分析表,辨明它是否为一个简单优先文法?

答：由于简单优先文法定义了文法的所有终结符与非终结符的优先关系，为此，我们对文法的每个非终结符构造两个集合，首符集FIRST和尾符集LAST(LAST的定义与FIRST类似）。于是有：

$\begin{array}{l}\text{FIRST(S)=}\{\mathbf a,\wedge,(\}\\ \text{FlRST(T)=}\{\mathbf S,\mathbf a,\wedge,(\}\\ \text{FIRST(R)=}\{\mathbf S,\mathbf T,\mathbf a,\wedge,(\}\\ \text{LAST(S)=}\{\mathbf a,\wedge,\}\\ \text{LAST(T)=LAST(R)=}\{\mathbf S,\mathbf T,\mathbf a,\wedge,)\}\\ \end{array}.$

然后按照简单优先文法的优先关系来验证，可知题中给出的简单优先关系表是正确的。

(3) 按上面的简单优先表构造优先函数。

(4)证明简单优先文法是无二义的。进一步说，简单优先文法的任何句型X1 X2...Xn的句柄是满足条件

(5)构造简单优先分析器。

5、考虑文法：

S→AS︱b

A→SA︱a

（1）列出这个文法的所有LR(0)项目。

（2）构造这个文法的LR(0)项目集规范族及识别活前缀的DFA。

按以上列出的项目,可构造识别这个文法活前缀如图1的NFA。然后利用子集法,将 NFA确定化为 DFA。为此,首先构造转换矩阵,其步骤如表1所列。再对表1中所有的子集重新命名,形成如表2所列的新的转换矩阵,并由此得到初始状态为0的如图2所示的 DFA。

图1 NFA

图2 DFA

表1 构造转换矩阵

表2 重新命名后的转换矩阵

下面证明这个 DFA的所有状态全体构成这个文法的LR(0)规范族。构造LR(0)项目集的规范族。如下:

这样就证明了 DFA的所有状态全体构成了这个文法的LR(0)规范族。但是,由于在状态1,5,7出现了“移进-归约”的矛盾,因此G不是一个 LR(0)文法。

（3）这个文法是SLR的吗？若是，构造出它的SLR分析表。

（4）这个文法是LALR或LR(1)的吗？

关于第三问和第四问还看到了一种做法，也贴出来看看

(3)由于文法abab对应下面两棵不同的语法树，所以该文法为二义性文法,任何二义性文法绝不是SLR(1)文法，也不是LALR(1)或LR(1)文法。

6、下面是一个描述∑={a，b}上的正规式的LALR文法（实际上也是SLR文法），只不过用‘+’代替‘∣’，用^代替ε（空字）。

E→E+T∣T

T→TF∣F

F→F*∣(E)∣a∣b∣∧

构造这个文法的LALR项目集和分析表。

由于LALR项目集族不存在“移进-归约”冲突的集合，因此可按这个集族构造分析表。分析表如表4.3所示。

7、证明下面文法是SLR(1)但不是LR(0)的。

S→A

A→Ab∣bBa

B→aAc∣a∣aAb

8、证明下面的文法是LL(1)的但不是SLR(1)的。

S→AaAb∣BbBa

A→ε

B→ε

9、证明下面文法是LALR(1)但不是SLR(1)的。

S→Aa∣bAc∣Bc∣bBa

A→d

（这题是不是应该把B改成d？或者再添一个B→d? 贴一个另外一道题的解法）

设已给文法

(1)G1［S］：

S→Aa|bAc|dc|bda

A→d

(2)G2［S］：

S→Aa|bAc|Bc|bBa

A→d

B→d

试证明： G1是LALR(1)文法但不是SLR(1)文法；G2是LR(1)文法但不是LALR(1)文法。

证明G1：

构造LR(1)自动机（没有需要合并的状态）：

没有状态存在冲突，因而是LALR(1)文法.

构造LR(0)自动机：

在状态I6，由于’a’∈FOLLOW(A)，因而对于SLR(1)分析而言，存在移进-归约，所以这一文法不是SLR(1)文法.

证明G2：

构造该文法的 LR(1) 语法分析表

构造该文法的增广文法

S'->S

S->Aa

S->bAc

S->Bc

S->bBa

A->d

B->d

1）构造该增广文法的 LR(1) 项集族如下

I0

S'->.S,$ S->.Aa,$ S->.bAc,$ S->.Bc,$ S->.bBa,$ A->.d,a B->.d,c

I1

S'->S.,$

I2

S->A.a,$

I6

S->Aa.,$

I10

S->Bc.,$

I12

S->bBa.,$

I3

S->b.Ac,$ S->b.Ba,$ A->.d,c B->.d,a

I4

S->B.c,$

I7

S->bA.c.,$

I9

A->d.,c

B->d.,a

I5

A->d.,a

B->d.,c

I8

S->bB.a.,$

I11

S->bAc.,$

2）项集合并：没有可以合并的项集

3）GOTO函数

GOTO（I0，S）=I1 GOTO（I0 ，A）=I2 GOTO（I0 ，b）=I3 GOTO（I0 ，B）=I4 GOTO（I0 ，d）=I5 GOTO（I1,$）=acc GOTO（I2 ，a）=I6 GOTO（I3 ，A）=I7 GOTO（I3 ， B）=I8 GOTO（I3 ，d）=I9 GOTO（I4， c）=I10 GOTO（I7 ，c）=I11 GOTO（I8 ， a）=I12

4）构造 LR（1）分析表如下

状态

ACTION

GOTO

a

b

c

d

$

S

A

B

0

S3

S5

1

2

4

1

acc

2

S6

3

S9

7

8

4

S10

5

R5

R6

6

R1

7

S11

8

S12

9

R6

R5

10

R3

11

R2

12

R4

可见该分析表中不存在二义性的条目，故该文法是 LR(1) 文法

构造该文法的 LALR(1) 语法分析表

①合并 LR(1) 项集族

I5 和 I9 可以合并为 I59

I59

A->d.,a/c

B->d.,c/c

②构造 LALR(1) 语法分析表如下

状态

ACTION

GOTO

a

b

c

d

$

S

A

B

0

S3

S59

1

2

4

1

acc

2

S6

3

S9

7

8

4

S9

59

R5|R6

R6|R6

6

R1

7

S10

8

S11

9

R3

10

R2

11

R4

可见该语法分析表中存在有二义性的条目，故该文法不是LALR（1）文法