LR（1）解析器可以解析这个语法吗？

Question

我有以下CFG，我想用LR（1）解析器解析：

  

S→A |乙

     

A→ε|甲

     

B→ε| B

LR（1）解析器可以解析这个语法吗？如果是这样，你能告诉我解析表吗？如果没有，为什么不，你怎么知道？

Answer 1

不，LR（1）解析器无法解析此语法。 LR（k）解析器只能解析明确的语法，并且这种语法是模糊的（你可以用无限多种方式导出ε）。

您可以通过构建语法的配置集来检查这一点，尽管这会非常无聊。 ： - ）

希望这有帮助！