冲突的野牛圈

为了解决悬空的其他问题，我使用了以下解决方案：

stmt : stmt_matched | stmt_unmatched ; stmt_unmatched : IF '(' exp ')' stmt | IF '(' exp ')' stmt_matched ELSE stmt_unmatched ; stmt_matched : IF '(' exp ')' stmt_matched ELSE stmt_matched | stmt_for | ... ; 

为了定义关于for循环的语法规则，由于同样的问题，我产生了冲突转移/减少：

 stmt_for : FOR '(' exp ';' exp ';' exp ')' stmt ; 

我怎么解决这个问题？

Answer 1

并非所有语句都匹配。 例如，考虑一下

  if (c) for (;;) if (d) ; else ; 

因此有必要将语句分为for_matched和for_unmatched 。 （与其他复合语句类似，例如while 。）