题目
文法:
S–>Aa | bAc | dc | bda
A–>d
通过构造基于LR(0)、LR(1)项目的识别活前缀的DFA,判断上面文法
- 是否是SLR(1)文法??
- 是否是LALR(1)文法??
- 是否是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) 的