《2020编译原理实验指导教程1》是一份为华中科技大学计算机科学与技术学院编译原理课程设计的实验教程。这份教程旨在指导学生如何构建一个高级语言编译器，以理解编译实现的主要技术流程。实验的起点是定义一个简化的C语言版本，即mini-c。
在编译原理的实践中，首先需要定义一个待编译的语言，并用上下文无关文法来描述它的语法规则。mini-c是一种简化版的C语言，它的文法涵盖了程序、外部定义列表、数据类型声明、函数定义、复合语句、表达式等多种结构。例如，程序由一个或多个外部定义组成，外部定义可以是数据类型声明或函数定义。数据类型包括int和float，表达式支持算术运算、比较运算以及逻辑运算。
然而，原始的mini-c语言过于简单，难以实现复杂功能。因此，实验的一部分是对其扩展，以支持更丰富的语言特性。以下是两个关键扩展：
1. **数组类型**：在扩展的mini-c中，需要添加对数组的支持。这包括定义数组和通过下标引用数组元素。数组定义可以通过修改VarDec规则，允许在标识符后跟随方括号和整数（表示数组大小）。例如，`int a, b[2][3]`。同时，表达式规则需要扩展，以允许使用数组下标，即`Exp→Exp[Exp]`，这样可以处理多维数组的访问。
2. **函数原型声明**：除了函数定义，扩展的mini-c还应包含函数原型声明，以便在调用函数前能进行类型检查。这需要新增语法结构来表示函数声明，并确保与函数定义保持一致。
除此之外，实验教程可能还会涉及其他扩展，如结构体、指针、循环控制等，以增强语言的功能性。在实际操作中，学生需要根据教程的指导，结合参考文献和网络资源，设计并实现自己的编译器。
在完成实验的过程中，学生不仅会掌握编译器的基本构造，还能学习到如何使用文法表示语言结构，如何进行词法分析、语法分析、语义分析和代码生成等编译过程的关键步骤。这是一项理论与实践相结合的任务，对于深化理解编译原理及其在软件开发中的应用至关重要。
