18、Bison语法中的冲突解析与解决

Bison语法中的冲突解析与解决

在使用Bison进行语法解析时，冲突是一个常见的问题。本文将详细介绍Bison语法中常见的冲突类型，包括归约 - 归约冲突和移进 - 归约冲突，并给出相应的解决方法。

状态与指针位置

首先，我们来看一个状态示例：

state 6: 6, 12, ... A's accepted then the corresponding pointer positions are as follows: start: threeAs X | twoAs Y; threeAs: /* empty */ | A <1,4> A <2,5> A <3,6> threeAs; twoAs: /* empty */ | A <1,3,5> A <2,4,6> twoAs;

在threeAs中第一个A之后，解析器可以接受6i + 1或6i + 4个A（i为0, 1等）；在twoAs中第一个A之后，解析器可以接受6i + 1、6i + 3或6i + 5