0

我需要一些帮助来为上下文无关语法构建 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

我做错了什么？

4

0 回答 0