0

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

私は何を間違えましたか?

4

0 に答える 0