16、Bison语法冲突解析与解决指南

Bison语法冲突解析与解决指南

在使用Bison进行语法解析时，常常会遇到各种冲突问题，这些冲突会影响解析器的正常工作。本文将详细介绍Bison中常见的冲突类型，包括归约 - 归约冲突和移进 - 归约冲突，并通过具体的语法示例来展示如何识别和解决这些冲突。

1. 状态与指针位置

在Bison中，状态和指针位置是理解冲突的基础。例如，当状态6接受6、12等数量的A时，对应的指针位置如下：

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个A。

2. name.output 文件内容

name.output 文件包含了语法规则和解析器状态的详细信息，通常在文件开头会有冲突和其他错误的总结，包括因冲突而未使用的规则。对于每个状态，会列出对应的规则和位置、解析器在该状态下读取各种令牌时的移进和归约