parsing - SLR（1）パーサーとイプシロンが関与

Question

次の文法があるとしましょう。

S → X  
X → a | ϵ

その文法がϵ関与していなかった場合、私は次のような最初の状態を構築します。

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

しかし、ϵシンボルはどうですか？含める必要があります：

X → .ϵ

それも？

もしそうなら...次の状態を作成するとき...私はGOTO(Io,ϵ)その最初の状態であるIoである必要がありますか？

Answer 1

私はハワードに同意します。DFA の状態には、次の項目が含まれている必要があります。x → .これは、2 つのイプシロン生成を使用する文法を認識する SLR(1) パーサー用に描いた DFA です。

Answer 2

端末自体ではないためϵ、ルールから削除する必要があります。

X → .

その後GOTO、「シンボル」に奇妙なことはありませんがϵ、代わりにあなたの状態になります

S' → S.

グラフの受け入れ状態です。