假设我有以下语法:
S → X
X → a | ϵ
如果不ϵ
涉及该语法,我将构建第一个状态,例如:
S' → .S
S → .X
X → .a
但是ϵ
符号呢?我应该包括:
X → .ϵ
也?
如果是这样...在创建下一个州时...我应该做GOTO(Io,ϵ)
,成为第一个州吗?
假设我有以下语法:
S → X
X → a | ϵ
如果不ϵ
涉及该语法,我将构建第一个状态,例如:
S' → .S
S → .X
X → .a
但是ϵ
符号呢?我应该包括:
X → .ϵ
也?
如果是这样...在创建下一个州时...我应该做GOTO(Io,ϵ)
,成为第一个州吗?