使用递归下降与YACC构建TINY语言语法分析器

"实验三 学习用递归下降算法和YACC工具实现TINY语言的语法分析器" 实验三的目的是让学生深入理解递归下降算法和抽象语法树的概念，并学习如何手工编写程序设计语言的语法分析器。在这个实验中，学生需要完成以下几个任务： 1. 改写文法与画语法图：TINY语言的原始文法是基于巴科斯范式（BNF）的，实验要求将其转换为扩展巴科斯范式（EBNF），然后根据转换后的文法绘制语法图。这有助于直观地理解语言的结构。 2. 定义抽象语法树节点的数据类型：抽象语法树（AST）是解析过程中的中间表示，它简化了语法分析树的形式，便于后续的语义分析和代码生成。在TINY语言中，每个节点都有特定的数据类型，这些类型需要被明确定义。 3. 阅读与注释TINY语言的语法分析器源代码：这包括理解`PARSE.H`和`PARSE.C`文件中的函数，如解析函数`parse()`，以及字符匹配函数`match(TokenType expected)`。学生需要添加中文注释以解释代码的功能和逻辑。 在`PARSE.C`的`match`函数中，其作用是检查当前获取的标记是否与预期的标记相符。如果相符，会继续获取下一个标记；如果不符，会触发语法错误处理，打印错误信息并显示当前未消耗的标记。 递归下降算法是一种自顶向下的语法分析方法，它直接使用解析函数来对应文法的非终结符，每个函数通过递归调用来处理其子规则。YACC（Yet Another Compiler-Compiler）工具则提供了一种基于LR（Left-to-Right, Leftmost Derivation）的解析方法，通过生成的解析表来驱动解析过程，通常用于实现更复杂的语法分析。 在TINY语言的实现中，递归下降算法可能用于处理简单的、易于表达的文法规则，而YACC工具则用于处理更复杂的情况，两者结合可以构建一个完整的语法分析器。 这个实验旨在通过实际操作，提升学生对编译原理中语法分析这一核心概念的掌握，增强他们在编程语言实现方面的实践能力。学生不仅需要理解理论知识，还要能够应用到实际的代码编写和调试中。