此 yacc 代码中是否存在移位/归约错误？

Question

我收到 yacc 发来的消息，说存在移位/归约冲突。我认为它来自 yacc 文件的这一部分。

statement : expression_stmt
          | compound_stmt
          | selection_stmt
          | iteration_stmt
          | return_stmt ;

selection_stmt : IF '(' expression ')' statement
               | IF '(' expression ')' statement ELSE statement ;

expression : var '=' expression | simple_expression ;

你能看到冲突吗？如何解决？

Answer 1

是的，我看到了冲突。 selection_statement 规则匹配

IF(<expression 1>)
THEN
    IF(<expression 2>)
    THEN <expression statement 1>
    ELSE <expression statement 2>

But that's ambigacy 这样的表达式。也可能是

IF(<expression 1>)
THEN
    IF(<expression 2>)
    THEN <expression statement 1>
ELSE <expression statement 2>