parsing - LR(1) 解析器可以解析这个语法吗？

Question

我想用 LR(1) 解析器解析以下 CFG：

S → A | 乙

A → ε | 一个

B → ε |B

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

Answer 1

不，LR(1) 解析器无法解析此文法。LR(k) 解析器只能解析无歧义的文法，而这种文法是有歧义的（你可以用无数种方式推导出 ε）。

您可以通过构建语法的配置集来检查这一点，尽管这会很无聊。:-)

希望这可以帮助！