Engineering a Compiler读书笔记(1): 编译概述

---

序言：

一个现代的优化器中包含有各式各样的技术。编译器使用贪婪启发式搜索来探索很大的解空间，使用确定性有限自动机来识别输入中的单词，不动点算法用于判断程序的行为，通过定理证明程序和代数化简器来预测表达式的值。编译器使用快速匹配算法将抽象计算映射到机器层次的操作，它们使用线性丢番图方程和普锐斯伯格算术来分析数组下标。编译器使用了大量的经典算法和数据结构，如散列表，图算法，和稀疏集实现方法等

---

第一章：编译概观

1.简介

|| 编译器是一个计算机程序（类似OS），负责将一种语言编写的编写程序转换为令一种语言编写的程序。编译器的主要组件有：编译器，解释器，自动转换

|| 概念实现的路线图：
编译器为了实现其语言转换功能，那么就必须有以下功能：

• 理解输入语言的形式和内容(即语法和语义)。
• 理解输出语言的形式和内容(即语法和语义)。
• 映射方案：将源语言映射到目标语言的法则

|| 由以上功能需求，我们可以得到编译器的结构：<