?/p>
4
?/p>
习题
1
4-1
消除下列文法的左递归性?/p>
(1)
S?/p>
SA|A A
?/p>
SB|B|(S)|( ) B
?/p>
[S]|[ ]
(2) S
?/p>
AS|b A
?/p>
SA|a
(3) S
?/p>
(T)|a|
ε
T
?/p>
S|T,S
4-2
对于如下文法,求各候选式?/p>
FIRST
集和各非终结符号?/p>
FOLLOW
集?/p>
S?/p>
aAB|bA|
ε
A
?/p>
aAb|
ε
B
?/p>
bB|
ε
4-3
验证下列文法是否?/p>
LL(1)
文法?/p>
(1)
S?/p>
AB|CDa A
?/p>
ab|c B
?/p>
dE|
ε
C
?/p>
eC|
ε
D
?/p>
fD|f E
?/p>
dE|
ε
(2)
S?/p>
aABbCD|
ε
A
?/p>
ASd|
ε
B
?/p>
SAc|eC|
ε
C
?/p>
Sf|Cg|
ε
D
?/p>
aBD|
ε
4-4
对于如下的文?/p>
G[S]
?/p>
S?/p>
Sb|Ab|b
A
?/p>
Aa|a
(1)
构造一个与
G
等价?/p>
LL(1)
文法
G
?/p>
[S]
?/p>
(2)
对于
G
?/p>
[S]
,构造相应的
LL(1)
分析表;
(3)
利用
LL(1)
分析法判断符号串
aabb
是否是文?/p>
G[S]
的合法句子?/p>
4-5
设已给文?/p>
S?/p>
SaB|bB A
?/p>
S|a B
?/p>
Ac
(1)
构造一个与
G
等价?/p>
LL(1)
文法
G
?/p>
[S]
?/p>
(2)
对于
G
?/p>
[S]
,构造相应的
LL(1)
分析表;
(3)
利用
LL(1)
分析法判断符号串
bacabc
是否是文?/p>
G[S]
的合法句子?/p>