Engineering a Compiler讀書筆記（1）

序言： 一個現代的優化器中包含有各式各樣的技術。編譯器使用貪婪啓發式搜索來探索很大的解空間，使用確定性有限自動機來識別輸入中的單詞，不動點算法用於判斷程序的行爲，通過定理證明程序和代數化簡器來預測表達式的值。編譯器使用快速匹配算法將抽象計算映射到機器層次的操作，它們使用線性丟番圖方程和普銳斯伯格算術來分析數組下標。編譯器使用了大量的經典算法和數據結構，如散列表，圖算法，和稀疏集實現方法等 第一章：

>>阅读原文<<