parsing - 处理 LR(0) 语法中的可空产生式

Question

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

如果我有一个带有派生 NULL 的非终结符的语法，如下所示:

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

如何处理产生式 #3 以绘制其 LR(0) 状态图？我是否必须在 LR(0) 解析表中包含与具有空集的转换相对应的列？

Answer 1

该项目P -> ·与 · 的任何其他项目没有什么不同。在右端；事实上，· 之前没有任何内容。并没有使它变得特别。项目关闭

B -> id · P

将是状态q :

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

来自 goto(q, P)将指示过渡到 B -> id P · goto(q, ( ) 将指示过渡到 P -> ( · E ) 。 goto上$和)未在该状态上定义，但 action是;它将表明 P应使用 P -> 来减少规则，之后 goto(q, P)将被使用。