通過左分解消除模糊性

Question

您可以通過左分解消除模糊性嗎？

例如，懸掛其他。

還是左保留只消除左遞歸？

謝謝。

Answer 1

這正是左分解通常所指的。

例子：

之前

G = "IF" cond "THEN" statements 
    | "IF" cond "THEN" statements "ELSE" statements 
... 

後

G = "IF" condition "THEN" statements G' 
G' = "ELSE" statements 
    | Εpsilon 
... 

Answer 2

在其他懸空的情況下，不確定性不是由左保消除。嵌套if語句仍然會有兩個分析樹。