LL（1）解析表中有多個條目？

Question

鑒於此語法：

S→S ₁ S ₂

S ₁ →a | ε

S ₂ →ab | ε

因此，我們有

FIRST（S ₁ ）= {a，ε}

跟隨（S ₁ ）= {a}

這是否意味着，在分析表我將有一行S1 _和該列在多個定義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

希望這可以幫助！