编译原理第二版4.7答案

4.7 节的练习

4.7.1

为练习 4.2.1 的文法 S -> S S + | S S * | a 构造

1. 规范 LR 项集族
2. LALR 项集族

4.7.2

对练习 4.2.2-1 ~ 4.4.2-7 的各个文法重复练习 4.7.1

! 4.7.3

对练习 4.7.1 的文法，使用算法 4.63，根据该文法的 LR(0) 项集的内核构造出它的 LALR 项集族

! 4.7.4

说明下面的文法

S -> A a | b A c | d c | b d a
A -> d

是 LALR(1) 的，但不是 SLR(1) 的

! 4.7.5

说明下面的文法

S -> A a | b A c | B c | b B a
A -> d
B -> d

是 LR(1) 的，但不是 LALR(1) 的