Bison 语法分析器无法识别——如何读取yydebug？

我正在研究以下语法：

 e   : e T_MINUS e                                              { $$ = mk_app(mk_app(mk_op(MINUS),$1),$3);}
    | T_NUM                            { $$ = mk_int($1);}
    | T_MINUS e                        { $$ = mk_app(mk_app(mk_op(MULT),mk_int(-1)),$2);}
    | T_POP e[l]                           { $$ = mk_app(mk_op(POP),$l);}
    | T_NEXT e[l]                          { $$ = mk_app(mk_op(NEXT),$l);}
    |'{' e[x] ',' e[y] '}'                     { $$ = mk_point($x,$y);} 
    | T_BEZIER '(' e[p1] ',' e[p2] ',' e[p3] ',' e[p4] ')' { $$ = mk_bezier($p1,mk_bezier($p2,mk_bezier($p3,mk_bezier($p4,NULL))));}
    | T_CIRCLE '(' e[c] ',' e[r] ')'                       { $$ = mk_circle($c,$r);}     
    | T_TRANS '(' e[fig] ',' e[vect] ')'                   { $$ = mk_app(mk_app(mk_op(TRANS),$fig),$vect);}    
    | e T_PATH e                                           { $$ = mk_path($1,mk_path($3,NULL));}
    | e T_PLUS e                                           { $$ = mk_app(mk_app(mk_op(PLUS),$1),$3);}
    | e T_DIV e                                            { $$ = mk_app(mk_app(mk_op(DIV),$1),$3);}
    | e T_MULT e                                           { $$ = mk_app(mk_app(mk_op(MULT),$1),$3);}
    | e T_LEQ e                                            { $$ = mk_app(mk_app(mk_op(LEQ),$1),$3) ;}
    | e T_LE e                                             { $$ = mk_app(mk_app(mk_op(LE),$1),$3) ;}
    | e T_GEQ e                                            { $$ = mk_app(mk_app(mk_op(GEQ),$1),$3) ;}
    | e T_GE e                                             { $$ = mk_app(mk_app(mk_op(GE),$1),$3) ;}
    | e T_OR e                                             { $$ = mk_app(mk_app(mk_op(OR),$1),$3) ;}
    | e T_AND e                                            { $$ = mk_app(mk_app(mk_op(AND),$1),$3) ;}
    | T_ID                                                 { $$ = mk_id($1);}/*Reconnaissance d'identificateurs et de variables*/
    | e T_EQ e                                             { $$ = mk_app(mk_app(mk_op(EQ),$1),$3) ;}
    | T_NOT e[expr]                                        { $$ = mk_app(mk_op(NOT),$expr) ;}
    | T_FUN T_ID[var] arg_list[expr]                       { $$ = mk_fun($var,$expr);} /*Définition de fonctions*/
    | T_LET T_ID[x] T_EQUAL e[arg] T_IN e[exp]             { $$ = mk_app(mk_fun($x,$exp),$arg); }/*Fonction IN*/
    | e[exp] T_WHERE T_ID[x] T_EQUAL e[arg]                { $$ = mk_app(mk_fun($x,$exp),$arg); }/*Fonction WHERE*/
    | T_IF e[cond] T_THEN e[then_br] T_ELSE e[else_br]     { $$ = mk_cond($cond, $then_br, $else_br) ;}
    | '[' list[l] ']'                                      { $$ = $l;}/*OP sur Listes*/
    | e[exp] T_PUSH e[l]                                   { $$ = mk_app(mk_app(mk_op(PUSH),$exp),$l);}
    |  e[fun] e[arg] %prec FUNCTION_APPLICATION            { $$ = mk_app($fun,$arg);}/*Exécution de fonctions à plusieurs variables*/
    | '(' e ')'                                            { $$ = $2;}/*Ignorer les parentheses inutiles*/
    ;

当我使用列表时，它是：

list  : e[ex]               {$$ = mk_cell($ex,mk_nil());}
      | e[ex] ',' list[l]               {$$ = mk_cell($ex,$l);}
      |/*empty*/                    {$$ = mk_nil();}
      ;

解析器识别列表，但如果我使用'e'T_ID，它将返回语法错误

例如：

[1,2,3]好的

[1+2,2-5]好的

但如果我有：

a=2

b=3

并列出如下清单：

[甲,乙]

它返回一个语法错误

我想理解的是，为什么不考虑T_ID的表达

---

编辑：调试结果：

    Reading a token: [a,b];
    Next token is token T_ID ()
    Shifting token T_ID ()
    Entering state 4
    Reducing stack by rule 26 (line 116):
       $1 = token T_ID ()
    -> $$ = nterm e ()
    Stack now 0 1
    Entering state 21
    Reading a token: Next token is token ',' ()
    syntax error
    Error: popping nterm e ()
    Stack now 0 1
    Error: popping nterm s ()
    Stack now 0
    Cleanup: discarding lookahead token ',' ()
    Stack now 0

编辑2：

---

不，这不是完全调试，但例如当我们使用

'{'e'，'e'}'

它确实会先移动“{”标记，但对于“[”它不会移动，我找不到原因 我确实重新检查了flex解析器，规则是：

[(),\[\]{}]         {return yytext[0];}

但是什么也没发生，对于如此之长的输出报告，这里有一个链接：

---

好的，我发现错误的原因是我不理解flex规则：

[a-zA-z]+    {yylval.id = strdup (yytext); return T_ID;}

将“[a”作为令牌返回一次，该规则执行后应返回2个不同的令牌：

[(),\[\]{}]         {return yytext[0];}

先走一步。 改变规则

[a-zA-z]+    {yylval.id = strdup (yytext); return T_ID;}

为了

---

解决了这个问题

我不确定（Sallt les Français）。这是完整的调试输出吗？因为在我看来，首字母“[”没有移动，应该已经移动了。t_ID regexp不是捕获了首字母吗['作为T_ID的一部分？也可能是bison的输出-r state可能会有所帮助，因此我们可以跟踪解析器的想法。不，这不是完整的调试，但例如，当我们使用'{'e'，'e'}'时，它确实会先移动'{'标记，但对于'['它不会移动，而且我找不到为什么我会重新检查flex解析器，因为规则是：[（），[]{}]{return yytext[0]；}但是什么也没有发生，对于输出报告，由于太长，这里有一个链接：

[[:alpha:]]+    {yylval.id = strdup (yytext); return T_ID;}