Parsing 了解语法是否为LR（1）且没有解析表
我发现了一个练习，它需要一个技巧来理解语法是否是LR（1），而不需要解析表操作 语法如下：Parsing 了解语法是否为LR（1）且没有解析表,parsing,context-free-grammar,lr,Parsing,Context Free Grammar,Lr,我发现了一个练习，它需要一个技巧来理解语法是否是LR（1），而不需要解析表操作 语法如下： S -> Aa | Bb A -> aAb | ab B -> aBbb | abb 你知道背后的诡计是什么吗 谢谢，：）假设您是一个LR（1）解析器，您刚刚阅读了aab，并对b进行了前瞻。（我知道，你可能在想“老兄，这种事一直发生在我身上！”）你到底应该在这里做什么 查看语法，你不能知道最初的产品是 Aa 还是 Bb < /代码>，所以你必须同时考虑 > 和 b>代码>的产生规则。如
S -> Aa | Bb
A -> aAb | ab
B -> aBbb | abb
aabb查看语法，你不能知道最初的产品是<代码> Aa <代码>还是<代码> Bb < /代码>，所以你必须同时考虑<代码> > <代码>和<代码> b>代码>的产生规则。如果您查看
AAabbaabaaRbAbBaabbbaabbbaabbInitial State
S' -> .S [$]
S -> .Aa [$]
S -> .Bb [$]
A -> .aAb [a]
A -> .ab [a]
B -> .aBbb [b]
B -> .abb [b]
State after reading a
A -> a.Ab [a]
A -> a.b [a]
A -> .aAb [b]
A -> .ab [b]
B -> a.Bbb [b]
B -> a.bb [b]
B -> .aBbb [b]
B -> .abb [b]
State after reading aa
A -> a.Ab [b]
A -> a.b [b]
A -> .aAb [b]
A -> .ab [b]
B -> a.Bbb [b]
B -> a.bb [b]
B -> .aBbb [b]
B -> .abb [b]
State after reading aab
A -> ab. [b]
B -> ab.b [b]
ABBabAabbBBb