在Bison（GNU Bison）中，当使用if-else语句时，可能会遇到“Dangling else”的问题，即else语句可能与前面的if语句相匹配，也可能与一个更远的if语句相匹配，这会导致歧义问题。解决这个问题的方法是重写语法规则，明确else语句应该与哪个if语句相匹配。

以下是一个示例：

原始语法规则：

stmt : IF expr THEN stmt
     | IF expr THEN stmt ELSE stmt 
     | other_stmt

可能会出现的歧义：else可能会与第一个if语句或第二个if语句相匹配。

重写语法规则：

stmt : matched_if_stmt 
     | unmatched_if_stmt

matched_if_stmt : IF expr THEN matched_if_stmt ELSE matched_if_stmt
                 | other_stmt
unmatched_if_stmt : IF expr THEN stmt 
                   | IF expr THEN matched_if_stmt ELSE unmatched_if_stmt

这里将stmt分成了两个部分：matched_if_stmt和unmatched_if_stmt。如果else应该与任何if语句匹配，则使用matched_if_stmt，否则使用unmatched_if_stmt。

示例代码：

%token IF THEN ELSE

%%
stmt : matched_if_stmt 
     | unmatched_if_stmt;

matched_if_stmt : IF expr THEN matched_if_stmt ELSE matched_if_stmt
                 | other_stmt;

unmatched_if_stmt : IF expr THEN stmt 
                   | IF expr THEN matched_if_stmt ELSE unmatched_if_stmt;

从以上示例可以看出，通过重写语法规则，可以避免Bison Difficult Dangling Else Removal问题的出现。