为什么LR（1）语法不是LALR（1）？

Question

这不是我的家庭作业，我想了解LALR（k）语法。所以我发现this

S -> aEa | bEb | aFb | bFa 
E -> e 
F -> e 

我在git repo为LR1notLARL1.pdf

但我想不通，为什么这个LR文法不是LALR？ 谁能帮助做一个分析仪（可作为PDF ？我谢谢

Answer 1

让我们开始构建LR（1）构式集语法：

(1) 
S' -> .S [$] 
S -> .aEa [$] 
S -> .aFb [$] 
S -> .bFa [$] 
S -> .bEb [$] 

(2) 
S' -> S. [$] 

(3) 
S -> a.Ea [$] 
S -> a.Fb [$] 
E -> .e [a] 
F -> .e [b] 

(4) 
E -> e. [a] 
F -> e. [b] 

(5) 
S -> aE.a [$] 

(6) 
S -> aEa. [$] 

(7) 
S -> aF.b [$] 

(8) 
S -> aFb. [$] 

(9) 
S -> b.Fa [$] 
S -> b.Eb [$] 
E -> .e [b] 
F -> .e [a] 

(10) 
E -> e. [b] 
F -> e. [a] 

(11) 
S -> bF.a [$] 

(12) 
S -> bFa. [$] 

(13) 
S -> bE.b [$] 

(14) 
S -> bEb. [$] 

如果哟日子会把你的通知，状态（4）和（10）具有相同的核心，所以在LALR（1）自动机，我们会合并在一起，以形成新的状态

(4, 10) 
E -> e. [a, b] 
F -> e. [a, b] 

现在有一个减少/减少它中的冲突（顺便说一句，LR（1）解析器中不存在的LALR（1）中的所有冲突都是reduce/reduce）。这解释了为什么语法是LR（1）而不是LALR（1）。

希望这会有所帮助！