我正在编写一个受Bison启发的解析框架，而且在Bison手册中有一些我不太了解的内容。
从Bison手册5.3.5优先顺序如何运作：
...每个规则都优先于组件中提到的最后一个终端符号。
和
并非所有规则都有优先权。如果规则或前瞻令牌没有优先权，则默认为移位。
据我所知，这归结为：
但是，这不意味着一个不包含任何具有声明优先级的终端符号的规则永远不会减少吗？我错过了什么？
例如，以下语法：
S -> E + E
E -> foo1
E -> foo2
给出七个州的dfa，前两个是：
解析字符串foo1 + foo2时，解析器移动令牌foo1并最终处于状态1.下一个先行令牌是+，而不是＆＃39; +＆＃39;也不是规则E - > foo1有任何声明的优先级，这意味着解析器应该移位，但状态1中没有这样的边缘，这导致解析器返回语法错误。
提前致谢
答案 0 :(得分：3)
优先规则仅适用于含糊不清的情况;也就是说，如果存在转变/减少冲突。如果没有任何冲突，解析器将根据语法进行移位或缩小。