SLR(1)所涉及的分析器和epsilon

Question

让我们假设我有以下语法：

S → X  
X → a | ϵ

如果该语法不涉及ϵ，我将构造第一个状态，如：

S' → .S
S → .X
X → .a

但是ϵ符号呢？我是否应包括：

X → .ϵ

也是吗？

如果是的话..。在创建下一个州时..。我应该做GOTO(Io,ϵ)**，作为第一个州吗？**

Answer 1

因为ϵ本身并不是终端，所以您必须将它从规则中删除，这给了您

X → .

之后，您将不会有任何带有“符号”GOTO的奇怪ϵ，而是您的状态。

S' → S.

是图形中的接受状态。

Answer 2

我同意霍华德的观点。DFA中的状态应该包含项：x → .，这是我为SLR(1)解析器绘制的DFA，它识别使用两个epsilon结果的语法：

​