Bison实现C语言语法分析器：冲突解决与实验步骤

"这篇报告详细介绍了使用Bison（也称为Yacc）工具开发C语言语法分析器的过程，涉及实验说明、实验内容、实验要求以及如何处理移进归约冲突等关键概念。报告由17级中国矿业大学计算机学院的本科生严冰撰写，是《系统软件开发实践》课程的一部分，指导教师为张博。" 在实验说明中，学生被要求参考附录中的C语言文法资料，使用Bison来构建一个C语言分析器。这个分析器需要与词法分析器协同工作，依据上下文无关文法来判断输入的单词序列是否符合语法规则。 实验内容主要是通过Bison生成语法分析程序，实现C语言的语法解析功能，并进行上机调试。最终目标是生成名为2_2.exe的程序，它可以接收特定的测试输入并输出解析结果。 实验要求包括理解Flex源文件input.lex（词法分析器）和Bison源文件cgrammar-new.y（语法分析器）。学生需要实现C语言的语法分析功能，并确保程序能够正确处理各种输入。 移进归约冲突是语法分析过程中常见的问题，它发生在解析器面对输入时面临两种可能的操作：继续读取下一个符号（移进）或基于当前状态应用产生式规则进行归约。例如，在文法`expr: expr expr | expr * expr | -expr`中，对于输入`-1*2`，解析器在解析完`-1`后，既可以将`-expr`归约为`-1`，也可以移进`*`。这种冲突是由于优先级未定义导致的，如*运算符和负号的优先级没有明确。 解决移进归约冲突通常需要明确操作符的优先级和结合性。通过在文法中添加非终结符或者调整产生式来定义这些规则，可以消除冲突。例如，可以引入一个新的非终结符`factor`来处理负号和括号，使得解析器在遇到`-`时能正确地归约`factor`，而不是等待可能的乘法操作。 在Windows和Linux环境下，实验步骤包括编写和修改Bison源文件，编译生成分析器，然后使用测试输入运行程序并检查输出结果。报告还详细分析了符号表和语法分析树的实现，包括Out表文件的内容、符号表打印模块和抽象语法树打印模块的设计与实现。 实验总结部分可能涵盖了学生在实现过程中遇到的问题、解决问题的方法以及对实验的反思，这部分未提供具体内容。 这份报告详尽地展示了使用Bison构建C语言语法分析器的完整过程，涉及理论知识与实际操作，是系统软件开发实践的重要学习材料。