LL(1) 解析表中有多个条目？

Question

鉴于此语法：

S → S₁ S₂

S₁ → a | ε

S₂ → ab | ε

因此，我们有

FIRST(S₁) = { a, ε }

FOLLOW(S₁) = { a }

这是否意味着在解析表中我将在 S₁ 的行和 a 的列中有多个定义？

Answer 1

是的，没错。 （但是，请注意您的 FOLLOW 集是错误的；它还包含输入结束标记 $）。这里的问题是，如果解析器看到a，它无法判断那是否是因为它想要使用派生

S → S₁S₂ → 一个 S₂

或者推导

S → S₁S₂ → S₂ → ab

要解决此问题，您可以注意您的语法仅生成字符串 { a, ab, aab }。因此，您可以为直接产生这三个字符串的语言语法构建一个 LL(1)：

S→aY

Y → ε |一个Z

Z → ε | b

希望这会有所帮助！