compiler-construction - 编译器中的项集和 SLR(1) 问题

Question

我遇到了一个由我们的助教解决的旧考试问题。任何人都可以帮助我吗？

当我们创建SLR(1)关于S--> aSb | a语法时，其中一个项目集LR(0)如下所示：

{ S-->a.Sb, S-->a., S-->.aSb, S-->.a}

关于从上述集合中提取的规则，其中哪些是 True：

a) one reduced and 2 shift and 1 goto is produced.

b) one reduced and 2 shift and2 goto is produced.

c) two reduced and 1 shift and 1 goto is produced.

d) when we input a, we have conflict. 

任何人都可以说为什么（3）是正确的？关于这个问题的一些细节？

编辑：我认为 Goto 指的是 Action 和 goto 表。

Answer 1

有三种可能的前瞻符号：a、b和$（输入结束标记）。过渡是：

 lookahead        action
 ---------        ------
     a            shift
     b            reduce S->a
     $            reduce S->a

在非终结符 S 上产生一个 goto 动作，目标是状态{S -> aS.b}