这个Grammar怎么通过SLR解决呢?

How to solve this Grammar through SLR?

我想解决这个语法问题。
S->SS+
S->SS*
S->a

我想构建 SLR 项目集并使用 action 和 goto 解析 table。 这个文法能否在不消除左递归的情况下进行解析。 这是文法单反吗

  1. 不对,这个文法不是单反。有歧义。

  2. 左递归对于 LR 解析器来说不是问题。左递归消除仅对 LL 解析器是必需的。

我不是很确定,但我认为这个语法实际上是 SLR(1)。我手工构建了 SLR(1) table 并获得了一个没有冲突的(从 S'(新开始符号)-> S 添加了一个 0 转换)。

有人可以提供一个可以从这个语法中以两种不同方式派生的句子吗?我能够在没有任何警告的情况下在 Bison 中获得它的解析器。确定有歧义吗?