Бизон петли для конфликта

Question

, чтобы решить оборванную еще проблему, я использовал следующее решение:

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 
       | ... 
       ; 

Для определения правил грамматики про цикл, я произвести сдвиг конфликта/уменьшение в связи с одной и теми же задачами :

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

Как я могу решить эту проблему?

Answer 1

Не все for утверждения сопоставлены. Рассмотрим, например

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

Поэтому необходимо разделить for заявления на for_matched и for_unmatched. (И аналогично с другими составными утверждениями, такими как while.)