转变减少冲突

Question

我无法理解 YACC 的移位/归约冲突问题。有人可以分解这个问题并使用 dangling-else 示例向我解释吗？

谢谢！

Answer 1

悬挂的 else 问题基本上意味着类似的东西：

if (x) then if (y) then a; else b;

可以被解析为任一

if (x) then { 
    if (y)  {
        then a;
        else b;
    }
}

或作为

 if (x) then { 
     if (y) 
         then a; 
 } 
 else b;

大多数语言需要第一个 - 这正是 yacc 所做的，所以它很少是一个真正的问题（事实上，来自 yacc 的 S/R 冲突很少非常令人担忧）。