全球旧事资料 分类
是LR0文法而是SLR1文法,请给出SLR1分析表。答:拓广文法G,增加产生式S→T在项目集I0中:有移进项目T→aBd和归约项目T→存在移进归约冲突,所以G不是LR0文法。若产生式排序为:0S→T1T→aBd2T→ε3B→Tb4B→εG的LR0项目集族及识别活前缀的DFA如下图所示:
识别G′活前缀的DFA
f由产生式知:FollowTbFollowBd在I0中:FollowT∩a,b∩a在I2中:FollowB∩ad∩aFollowT∩a,b∩a
FollowB∩FollowTd∩,b
所以在I0,I2,中的移进归约和归约归约冲突可以由Follow集解决,所以G是SLR1文法。构造的SLR1分析表如下表。
SLR1分析表

ame
ACTION
a
b
d

GOTO
T
B
0
S2
r2
r2
1
1
acc
2
S2
r2
r4
r2
4
3
3
S5
4
S6
f5
r1
r1
6
r3
14.某语言的文法G为:E→aTdε
T→Eba证明G不是LR0文法而是SLR1文法,请给出该文法的SLR1分析表。答:拓广文法G,增加产生式S→E
在项目集I0中:有移进项目E→aTd和归约项目E→存在移进归约冲突,所以G不是LR0文法。
若产生式排序为:0S′→E1E→aTd2E→ε3T→Eb4T→aG′的LR0项目集族及识别活前缀的DFA如下图:
f由产生式知:FollowE,b
FollowTd在I0,I2中FollowE∩a,b∩a在I5中FollowE∩a,b∩a
FollowT∩ad∩aFollowT∩FollowEd∩,b所以在I0,I2,I5中的移进归约和归约归约冲突可以由Follow集解决所以G′是SLR1文法。
茕桢广鳓选块网泪。
构造的SLR1分析表如下表:

ame
ACTION
a
b
d

GOTO
E
T
0
S2
r2
r2
1
1
acc
2
S5
r2
r2
4
3
f3
S6
4
S7
5
S5
r2
r4
r2
4
3
6
r1
r1
7
r3
15.给出文法GS的LR1项目集规范族中I0项目集的全体项目。GS为:S→BDD
B→aDb
D→B
I0
答:I0:
16.给出文法GS的LR1项目集规范族中I0项目集的全体项目。GS为:S→DDDD→DBBB→abI0
答:
fI0
17.给出文法GS的LR1项目集规范族中I0项目集的全体项目。GS为:S→SVVV→VaAAA→bSε
I0
答:I0
18.文法GM及其LR分析表如下,请给出对串dbba的分析过程。
GM1M→VbA
2V→d
3V→ε
4A→a
5A→Aba
6A→ε

ame
ACTION
b
d
a
GOTO

M
A
V
f0
r3
S3
1
2
1
acc
2
S4
3
r2
4
r6
S5
r6
6
5
r4
r4
6
S7
r1
7
S8
8
r5
答:
对串dbba的分析过程如下表
步骤状态栈文法符号栈
r5剩余输入符号
动作
10

dbba移进
203
d
bba用V→d归约
302
V
bba移进
4024
Vb
ba用A→ε归约
50246
VbA
ba移进
6
02467
VbAr
好听全球资料 返回顶部