具有两次以上递归的运算符优先级

Question

我正在尝试对野牛进行算子优先级和关联性的一些组合。尽管在某些情况下看起来很奇怪，但出现了一个基本问题，即以下规则是否有效，但确实没有错。

expr: expr OP1 expr OP5 '+' expr

根据野牛信息页面，规则优先于最后一个终端符号或为其明确分配的优先级。下面是优先级，并从代码中粘贴了完整的expr规则：

%left OP4
%left OP3
%left OP2
%left OP1
%left '*'
%left '/'
%left '+'
%left '-'

expr:  NUM                               { $$ = $1; }
| expr OP2 expr OP5 '+' expr             { printf("+"); }
| expr OP1 expr OP5 '-' expr             { printf("-"); }
| expr OP4 expr OP5 '*' expr             { printf("*"); }
| expr OP3 expr OP5 '/' expr             { printf("/"); }
          ;
Below is data tokens given:
1op11op5-2op22op5+3op33op5/4op44op5*5

执行解析器的输出低于预期。

-+/*

现在，一旦优先级在算术运算符和OP之间翻转，结果将反转，表明不是最后一个终端也影响规则优先级。

%left '*'
%left '/'
%left '+'
%left '-'
%left OP4
%left OP3
%left OP2
%left OP1

解析器的现在输出是反向的，指示最后一个终端的优先级没有帮助：

*/-+

此外，如果第一个组合仅具有比OP运算符更高优先级的算术运算符，如果删除了OP运算符的优先级，则结果仍然是第二个组合，没有先例的规则。这个结果使得很难得出结论，第二个expr用于优先而不是第三个。从以上结果可以得出什么结论。如果规则中使用了两次以上的递归，那么优先级和关联性逻辑是什么？