假设我有以下语法：
S → X
X → a | ϵ
如果该语法不涉及
ϵ，我将构建第一个状态，例如：S' → .S
S → .X
X → .a
但是
ϵ符号呢？我应该包括：X → .ϵ
太？
如果是这样的话...在创建下一个状态时...我应该做第一个状态是
GOTO(Io,ϵ)吗？ 最佳答案
由于ϵ本身不是终端，因此您必须将其从规则中删除，这会给您
X → .
然后，以后您将不会有带有“ symbol”
GOTO的任何奇怪的ϵ，而是您的状态S' → S.
是图形中的接受状态。