野牛：冲突：1 班次/减少错误答案

【问题标题】：Bison: Conflicts: 1 shift/reduce error野牛：冲突：1 班次/减少错误
【发布时间】：2011-12-03 16:40:05
【问题描述】：

我正在尝试使用 bison 构建一个解析器，并将我的所有错误缩小到一个困难的错误。

这是 bison 的调试输出以及错误所在的状态：

state 120

   12 statement_list: statement_list . SEMICOLON statement
   24 if_statement: IF conditional THEN statement_lists ELSE statement_list .

    SEMICOLON  shift, and go to state 50

    SEMICOLON  [reduce using rule 24 (if_statement)]
    $default   reduce using rule 24 (if_statement)

这里是parser.y源码中的翻译规则

%%

program              : ID COLON block ENDP ID POINT
                     ;
block                : CODE statement_list
                     | DECLARATIONS declaration_block CODE statement_list
                     ;
declaration_block    : id_list OF TYPE type SEMICOLON
                     | declaration_block id_list OF TYPE type SEMICOLON
                     ;
id_list              : ID
                     | ID COMMA id_list
                     ;
type                 : CHARACTER
                     | INTEGER
                     | REAL
                     ;
statement_list       : statement
                     | statement_list SEMICOLON statement
                     ;
statement_lists      : statement
                     | statement_list SEMICOLON statement
                     ;
statement            : assignment_statement
                     | if_statement
                     | do_statement
                     | while_statement
                     | for_statement
                     | write_statement
                     | read_statement
                     ;
assignment_statement : expression OUTPUTTO ID
                     ;
if_statement         : IF conditional THEN statement_lists ENDIF
                     | IF conditional THEN statement_lists ELSE statement_list
                     ;
do_statement         : DO statement_list WHILE conditional ENDDO
                     ;
while_statement      : WHILE conditional DO statement_list ENDWHILE
                     ;
for_statement        : FOR ID IS expression BY expressions TO expression DO statement_list ENDFOR
                     ;
write_statement      : WRITE BRA output_list KET
                     | NEWLINE
                     ;
read_statement       : READ BRA ID KET
                     ;
output_list          : value
                     | value COMMA output_list
                     ;
condition            : expression comparator expression
                     ;
conditional          : condition
                     | NOT conditional
                     | condition AND conditional
                     | condition OR conditional
                     ;
comparator           : ASSIGNMENT
                     | BETWEEN
                     | LT
                     | GT
                     | LESSEQUAL
                     | GREATEREQUAL
                     ;
expression           : term
                     | term PLUS expression
                     | term MINUS expression
                     ;
expressions          : term
                     | term PLUS expressions
                     | term MINUS expressions
                     ;
term                 : value
                     | value MULTIPLY term
                     | value DIVIDE term
                     ;
value                : ID
                     | constant
                     | BRA expression KET
                     ;
constant             : number_constant
                     | CHARCONST
                     ;
number_constant      : NUMBER
                     | MINUS NUMBER
                     | NUMBER POINT NUMBER
                     | MINUS NUMBER POINT NUMBER
                     ;              
%%

当我删除 if_statement 规则时没有错误，所以我已经大大缩小了范围，但仍然无法解决错误。

感谢您的帮助。

【问题讨论】：

为什么你的语法没有结束，并且 if-else 与 endif 一样，与所有其他此类结构一样？
另外，我不太确定，但我想我已经解决了类似的问题，指定了一个特殊的“else_statement”，它可以是else statement，也可以是空的，并将if指定为if statment else_statement跨度>
非常感谢。不敢相信我错过了:)

标签： parsing compiler-construction bison yacc

【解决方案1】：

考虑以下语句：if condition then s2 else s3; s4

有两种解释：

if condition then
   s1;
else 
   s2;
s3;

另一个是：

if condition then
   s1;
else
   s2;
   s3;

在第一个中，语句列表由if 语句和s3 组成。而另一条语句仅由一个if 语句组成。这就是歧义的来源。当存在 shift-reduce 冲突时，Bison 将更喜欢 shift 来减少，因此在上述情况下，解析器将选择 shift s3。

既然你的if-then语句中有ENDIF，考虑在你的if-then-else语句中引入一个ENDIF，那么问题就解决了。

【讨论】：

【解决方案2】：

我认为您在IF-THEN-ELSE-ENDIF 规则中缺少ENDIF。

【讨论】：