说明以下文法 G1 为 LR(1) 的，但不是 LALR(1

[问答题]

说明以下文法 G1 为 LR(1) 的，但不是 LALR(1) 的，也不是 SLR(1) 的。

S 是开始符号。

S → A a | b A c | B c | b B a

A → d

B → d

阿奻_

G1 仅产生串 da 、bdc 、dc 和和 bda 。

读入缀活前缀 d 后到达的的 LR(1) 项目集簇为：

态状态 i ：{A → d.,a ; B → d.,c}

缀读入活前缀 bd 后到达的 LR(1) 项目集簇为：

态状态 j ：{A → d.,c ; B → d.,a}

显然，在构造的 LR(1) 项目集簇中不存在移进－归约或归约－归约冲突。因此，该文法为 LR(1)

态的。而上述状态 i 和和 j 为同心集，合并后为{A → d.,a/c ; B → d.,a/c} ，则出现了新

是的归约－归约冲突，而这个冲突在合并前是没有的。因此，该文法不是 LALR(1) 的。

是很明显，该文法也不是 SLR(1) 的，因为在读入活前缀 d 后到达的 LR(0) 项目集簇（状态）

为{A → d. ; B → d. }而，包含了两个归约项目，而 follow(A) ∩follow(B)={a,c}

是 ≠Φ，因此，存在归约－归约冲突，故而该文法不是 SLR(1)

发表于 2017-05-01 17:51:23 回复(0)

提交观点

问题信息

编译和体系结构

上传者：阿奻_

难度：

1条回答 1收藏 7460浏览

扫一扫，把题目装进口袋