编译原理学习笔记（二十六）~习题：构造基于LR(0)、LR(1)项目的识别活前缀的DFA

题目

文法：
S–>Aa | bAc | dc | bda
A–>d

   通过构造基于LR(0)、LR(1)项目的识别活前缀的DFA，判断上面文法

1. 是否是SLR(1)文法？？
2. 是否是LALR(1)文法？？
3. 是否是LR(1)文法？？

依次说明理由。

解

FOLLOW集

(1)基于LR(0)项目的识别活前缀的DFA

(2)基于LR(0)、LR(1)项目的识别活前缀的DFA

判断：

• 基于LR(0)项目的识别活前缀的DFA中：在I4第一个项目要求面对c移进到8，第二个要求r5归约，I7第一个项目要求面对a移进到10，第二个要求r5归约。所以存在冲突， 不是SLR(1) 的！
• 基于LR(1)项目的识别活前缀的DFA中：没有同心项目集可以合并， 是LALR(1) 的， 也是LR(1) 的