在Bison中，如何为非终端保留specity左结合性？
我有以下Bison语法片段： binary_op: BINARY_OP { ... } | '|' %prec BINARY_OP { ... } ; non_keyword_expr: non_keyword_expr binary_op non_keyword_expr %prec BINARY_SEND_PREC %dprec 2 { ... } ; 我可以成功地解析它（或者被lexer识别为二进制_OP标记） 但是，如果我的输入是：在Bison中，如何为非终端保留specity左结合性？,bison,glr,Bison,Glr,我有以下Bison语法片段： binary_op: BINARY_OP { ... } | '|' %prec BINARY_OP { ... } ; non_keyword_expr:
4 | 5 | 6
|%prec编辑：这是针对GLR解析器的简单回答：您不能。优先级（和关联性）仅适用于产品（左侧）和端子（右侧）。它们不适用于非端子 这不是一个武断的决定；这是野牛处理转移/减少冲突的方式所固有的。在每个解析步骤中，前瞻令牌（终端）最终都必须移位，但有可能在终端移位之前会减少生成量。如果不立即执行还原，则永远不会执行还原。LR（1）语法允许解析器基于当前解析堆栈和先行标记来决定是否应执行缩减或是否应立即移位先行标记。如果这两个动作都是可能的，那么语法就被称为有移位/减少冲突，严格来说它不是LR（1） 优先级和关联性规则用于解决移位/减少冲突。产品可能具有隐式或显式优先级：显式优先级由
%precbinary_op: '|' %prec BINARY_OP
%prec二进制运算非\u关键字\u表达式%prec非_关键字_表达式binary_op: '|' | "OR" ;
注1：如果您要求使用GLR解析器，则这并非完全正确。GLR解析器可以同时执行移位和缩减，因为它（有效地）同时维护多个解析器状态。最终，除一个国家外，所有这些国家都必须被消灭；否则，解析是不明确的。GLR解析器使用优先级（和
%prec%dprec%left'|'%token PLUS
%token TAKE
%left '-' '+' PLUS TAKE
...
add: '+' | PLUS;
exp: NUM { $$ = $1; }
| exp add exp %prec '+' { $$ = $1 + $3; }
%token PLUS
%token TAKE
%left '-' '+' PLUS TAKE
...
add: '+' | PLUS;
exp: NUM { $$ = $1; }
| exp add exp %prec '+' { $$ = $1 + $3; }
x y z -> ((x y) z)
非长期×非长期| z|非长期(ux|y