编译原理第七章 习题.docx

第1题

已知文法A→aAd|aAb|ε

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

答案：文法：

A→aAd|aAb|ε

拓广文法为G′，增加产生式S′→A若产生式排序为：

S→A

A→aAd

A→aAb

A→ε

由产生式知：

First(S)={ε,a}

First(A)={ε,a}

Follow(S)={#}

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

G′的LR(0)项目集族及识别活前缀的DFA如下图所示

在I0中：

A→.aAd和A→.aAb为移进项目，A→.为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。

在I0、I2中：

Follow(A)∩{a}={d，b，#}∩{a}=

所以在I0、I2中的移进-归约冲突可以由Follow集解决，所以G是SLR(1)文法。构造的SLR(1)分析表如下：

对输入串ab#的分析过程:

第2题

若有定义二进制数的文法如下：S→L·L|L

L→LB|BB→0|1

试为该文法构造LR分析表，并说明属哪类LR分析表。

给出输入串101.110的分析过程。

答案：文法：S→L.L|L

L→LB|BB→0|1

拓广文法为G′，增加产生式S′→S若产生式排序为：

S→S

S→L.L

S→L

L→LB

L→B

5B→0

6B→1

由产生式知：

First(S)={0,1}

First(S)={0,1}

First(L)={0,1}

First(B)={0,1}

Follow(S)={#}

Follow(S)={#}Follow(L)={.,0,1,#}

Follow(B)={.,0,1,#}

G′的LR(0)项目集族及识别活前缀的DFA如下图所示：

在I中：

2

B→.0和B→.1为移进项目，S→L.为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。

在I、I中：Follow(s)∩{0，1}={#}∩{0，

2 8

1}=

所以在I、I中的移进-归约冲突可以由Follow集解决，所以G是SLR(1)文法。

2 8

构造的SLR(1)分析表如下：

对输入串101.110#的分析过:

第6题

文法G=({U,T,S},{a,b,c,d,e},P,S)

其中P为：S→UTa|TbT→S|Sc|dU→US|e

判断G是LR(0)，SLR(1)，LALR(1)还是LR(1)，说明理由。

构造相应的分析表。

答案：文法：S→UTa|TbT→S|Sc|dU→US|e

拓广文法为G，增加产生式S→S若产生式排序为：

S→S

S→UTa

S→Tb

T→S

T→Sc

T→d

U→US

U→e

由产生式知：

First(S)={d,e}

First(S)={d,e}

First(U)={e}

First(T)={d,e}

Follow(S)={#}

Follow(S)={a,b,c,d,e,#}Follow(U)={d,e}

Follow(T)={a,b}

G′的LR(0)项目集族及识别活前缀的DFA如下图所示：

在I中：

1

S→S.为接受项目，T→S.为归约项目，T→S.c为移进项目，存在接受-归约和移进-归约冲突，因此所给文法不是LR(0)文法。

在I 中：

1

Follow(S)∩Follow(T)={#}∩{a，b}=?Follow(T)∩{c}={a，b}∩{c}=?

在I8中：

Follow(U)∩Follow(T)∩{c}={d,e}∩{a，b}∩{c}=?

所以在I1中的接受-归约和移进-归约冲突与I8中的移进-归约和归约-归约冲突可以由Follow集解决，所以G是SLR(1)文法。

构造的SLR(1)分析表如下：

状态

(Stete)

Action

Goto

。

a

b

C

d

e

＃

s

u

T

S5

S4

1

2

3

1

r3

r3

S6

Ace

2

S5

S4

8

2

7

3

S9

4

r7

r7

5

r5

r5

6

r4

r4

7

SlO

S9

8

r3

r3

S6

r6

r6

9

r2

r2

r2

r2

r2

r2

10

rl

rl

rl

rl

rl

rl