LL（1）解析表中有多个条目？

Question

鉴于这个语法：

  

S→S ₁ S ₂

     

S ₁ →a | ε

     

S ₂ →ab | ε

因此，我们有

  

FIRST（S ₁ ）= {a，ε}

     

关注（S ₁ ）= {a}

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

Answer 1

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

  

S→S ₁ S ₂ →a S ₂

或推导

  

S→S ₁ S ₂ →S ₂ →ab

要解决此问题，您可以注意到您的语法只生成字符串{a，ab，aab}。因此，您可以为直接生成这三个字符串的语言语法构建LL（1）：

  

S→aY

     

Y→ε| AZ

     

Z→ε| B'/ P>

希望这有帮助！