上下文自由语法 - LR（0）DFA

Question

我需要一些帮助来构建一个无上下文语法的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的箭头，因为我有：

B -> .B
b -> a.Bb

我做错了什么？