在LR(0)文法中处理可空生成

Question

我认为这是一个非常简单的问题，但我在任何地方都找不到答案。

如果我有一个带有派生空的非终端的语法，如下所示：

1. S -> B$
2. B -> idP
3. P -> (E)
4. P ->
5. E -> B

如何处理生产#3来绘制它的LR(0)状态？是否必须在LR(0)解析表中包含与转换对应的列？

Answer 1

item P -> ·与右侧·的任何其他项目没有什么不同；在·之前没有任何东西使它变得特殊。项目的结束

B -> id · P

将是州q

B -> id · P
P -> · ( E )
P -> ·

其中goto(q, P)将指示向B -> id P ·的转换，goto(q，()将表示向P -> ( · E )的转换。goto on $和)没有在该状态上定义，但action定义了；它将指示应该使用P ->规则减少P，然后使用goto(q, P)。