Context Free Grammar 用の LR(0) DFA の作成について助けが必要です。
S -> A
A -> aaAb | B
B -> aBb | e
これは私が持っているものです:
州
{ S -> .A
A -> .aaAb
A -> .B
B -> .aBb
B -> .e
}
次に、次のラベルの付いた矢印がありa
ます。
州
{ A-> a.aAb
B-> a.Bb
B-> .aBb
B -> .e }
そして、この状態から、次のラベルが付いた矢印a
:
州:
{ A -> aa.Ab
A -> .aaAb
A -> .B
B -> .aBb
B -> a.Bb
B -> .e }
これが私の問題の始まりです。ご覧のとおりB
、この状態からラベルが付けられた 2 つの矢印が表示されます。
B -> .B
b -> a.Bb
私は何を間違えましたか?