预备知识编译器的前端是由三个模块和两个核心数据结构（记号流，抽象语法树）组成的，编译器处于一个流水线的结构，阶段无关性（只考虑把每一个模块的输入输出）语义分析只依赖于前一阶段的抽象语法树语义分析也称为类型检查。上下文相关分析。负责检查程序（