编译原理基础概念

1.编译器和解释器的区别：

• 编译器是一种程序，在源语言中读取程序，转为目标代码，并报告翻译过程中检测到源程序的任何错误；
• 解释器是直接在用户提供的输入上执行源程序中指定的操作；
• 编译器生成机器语言目标程序比解释器快，但解释器通过执行源代码语句，可以提供更好的错误诊断

2.编译过程

• 词法分析（识别单词）
  读入字符流，输出有意义的词素——《token-name，attribute-value》
• 语法分析（分析语法）
  根据词法的第一个分量创建语法树
• 语义分析（分析语义）
  $$功能\{\begin{array}{l}\text{获取标识符的属性，类型，作用域等}\\ \text{语义检查，检查运算的合法性，取值范围等}\\ \text{子程序的静态绑定：代码的相对地址}\\ \text{变量的静态绑定：数据的相对地址}\end{array}$$
• 中间代码生成（初步翻译结果）
  $$生成类机器语言的中间表示\{\begin{array}{l}\text{后缀表示,逆波兰}\\ \text{前缀表示，波兰}\\ \text{四元式}\\ \text{三元式}\end{array}$$

前缀，中缀，后缀表达式
中缀：普通的四则运算的式子：（1+2）3-4
前缀：运算符在操作数之前： -+1234 ，计算机每次从右往左扫描，将数字压入栈中，碰到运算符的时候从栈中取出来
后缀：运算符在操作数之后 12+3*4-
三元式 四元式
三元式：（运算符，运算对象1，运算对象2）
四元式：（运算符，运算对象1，运算对象2，结果）

• 代码优化（修改初步结果）

• 目标代码生成（最终结果）
  

3.编译程序的组织

$$\{\begin{array}{l}分析部分（前端，机器无关）：\{\begin{array}{l}把源程序分解成组成要素和相应的语法结构\\ 使用这个结构创建源程序的中间表示\\ 收集和源程序相关的信息存放到符号表\end{array}\\ 综合部分\text{（后端，机器相关）：根据中间表示和符号表信息构造目标程序}\end{array}$$