07111704_1120173588_鲍吴迪_lab51

在编译原理与设计实验中，鲍吴迪同学进行了C语言子集的语法分析器的构建，该分析器基于BIT-MiniCC，并使用ANTLR工具。实验目标在于熟悉C语言语法规则，掌握语法分析器的构造技术，学习ANTLR的使用，并理解编译器各模块的工作原理。 实验内容涉及构建一个能够读取词法分析器输出的属性字符流，并进行语法分析及错误处理的分析器。当输入正确时，输出JSON格式的语法树；输入错误时，报告语法错误。实验中处理的语法规则包括： 1. 语句（如混合语句、表达式语句、选择语句、循环语句和返回语句） 2. 混合语句由语句块列表组成，其中包含声明和语句 3. 声明可以是变量声明、数组声明或函数声明 4. 表达式语句包括基本表达式、赋值表达式、关系表达式、二元运算表达式和条件表达式 5. 选择语句（if-else）和循环语句（for）的处理 6. 返回语句 算法流程采用递归下降分析法，主要基于LL(1)算法，根据当前字符及后续一到两个字符来决定识别序列。遇到终结符如{}、；、()、identifier、int、if、for等，与词法分析产生的token匹配，然后进行非终结符归约和符号栈操作。 在实现过程中，鲍吴迪同学遇到了声明语句的识别问题。起初，声明语句是在语句识别函数stmt()中处理的，但因为ASTDeclaration不是ASTStatement的子类，所以不能直接在stmt()中返回。为解决这个问题，声明语句被独立出来，作为一个单独的功能进行处理。 这个实验有助于学生深入理解编译器的工作流程，特别是语法分析阶段。通过自定义语法树节点（如ASTAssignmentExpression和ASTRelationalExpression）来处理特定类型的表达式，以及在循环语句中区分声明循环和普通循环，这些都体现了编译器设计中的灵活性和精确性。同时，遇到问题并解决的过程，如声明语句的识别调整，显示了在实际编程中解决问题的能力和对理论知识的应用。