一、运算分量类型的相容性； 二、赋值语句左右类型的相容性； 三、形参和实参类型的相容性； 四、类型相容： 五、类型等价则相容

标识符的作用： 声明部分：定义了各种对象及对应的属性和使用规则。 程序体：对所定义的对象进行各种操作

一、语义分析概述(必要性、功能、描述方法) 二、符号表 三、类型表达式 四、声明和程序体的语义分析

一、 语法分析概述 二、文法 三、进行语法分析的几种方法 四、语法错误处理

一、语义处理的抽象描述。 二、作用：自动实现语法和语义检查 三、分类：

计算机科学丛书：《编译原理》书籍PDF电子版（美）Alfred V.Aho Monica s.Lam Ravi Sethi Jeffrey D.Ullman，机械工业出版社，中文第二版，共12章

一、运行时存储空间的结构和分配 二、过程活动记录AR 三、运行时变量的访问

Why Compiler Writing machine language-numeric codes is time consuming and tedious

RUN-Time Organization Compiler phase- Before writing a code generator, we must decide how to marshal the resources of the target machine (instructions, storage, and system software) in order to implement the source language. This is called run-time organization

第十一章代码优化 11.1什么是代码优化 11.2局部优化 11.3控制流程分析和循环 11.4数据流分析举例