機器之心報道

機器之心編輯部

正是編譯器的存在，才讓人類語言轉換為計算機可以理解的0和1。

Jeffrey Ullman（左）和 Alfred Aho（右）是創建「編譯器」的先驅。

1963年，當阿爾弗雷德 · 艾侯（Alfred Aho）和杰弗里 · 烏爾曼（Jeffrey Ullman）在普林斯頓大學研究生院開學第一天一同登記排隊的時候，計算機科學仍然是一個陌生的新世界。

如今因為這兩位學者的努力，幾乎任何人都可以使用計算機并對計算機進行編程以執行新任務。

北京時間3月31日，ACM 宣布將2020年圖靈獎授予 Alfred Vaino Aho 和 Jeffrey David Ullman 二人，兩位友誼持續半個世紀的學者將分享百萬美元的獎金。

Aho 是哥倫比亞大學計算機科學系名譽教授，Ullman 是斯坦福大學計算機科學系的 Stanford W. Ascherman 教授。

據 ACM 官方公告， Alfred Vaino Aho 和 Jeffrey David Ullman 的獲獎理由為「創造了全球數百萬編程人員使用的工具和教材」，獎項旨在表彰二人「推進編程語言實現的基礎算法和理論，并在極具影響力的書籍中綜述了這些研究成果。」

計算機軟件是現代社會人類與科技互動的驅動器，每一個程序都運行在現實世界里——不論是在手機、汽車，還是網絡公司內部的大型服務器。世界上的每一個程序都是人類使用高級語言編寫，之后再編譯成低級語言讓計算機運行。這種將高級語言編譯成計算機能夠識別的低級語言的技術，在很大程度上要歸因于 Aho 和 Ullman。

從1967年在貝爾實驗室共事開始，二人的合作持續幾十年至今。Aho 和 Ullman 奠定了編程語言的理論及實現和算法設計與分析的基礎。二人通過技術貢獻和極具影響力的教科書，在編程語言編譯器領域做出了廣泛深遠的貢獻；在算法設計和分析技術方面的早期合作，也為這一時期出現的計算機科學理論核心做出了重要貢獻。

圖靈獎是 ACM 于1966年設立的獎項，專門獎勵對計算機事業作出重要貢獻的個人，有「計算機界諾貝爾獎」之稱，獎金為100萬美元，由谷歌贊助。圖靈獎的名稱取自英國數學家艾倫 · 圖靈（Alan M. Turing），他奠定了計算機的數學基礎，也闡述了其局限性。

ACM 主席 Gabriele Kotsis 說：「計算機編程的實踐和日益發展的軟件系統為過去五十年來大部分的技術進步奠定了基礎。無數研究者和從業者為這些技術做出了貢獻，其中 Aho 和 Ullman 的研究工作尤為重要且影響深遠。他們幫助我們了解了算法的理論基礎，并規劃了編譯器和編程語言設計方面的研究和實踐課程。自20世紀70年代初以來，Aho 和 Ullman 就一直是這一領域的思想領袖。到今天為止，他們的工作已經指導了幾代開發者和研究人員。」

「Aho 和 Ullman 建立了關于算法、形式語言、編譯器和數據庫的基本思想，這對當今編程和軟件領域的發展至關重要，」谷歌 AI 高級研究員和高級副總裁 Jeff Dean 補充道，「他們還闡明了這些學科之間的緊密聯系。Aho 和 Ullman 引入了關鍵的技術概念，包括已經成為核心算法的具體算法。就計算機科學教育而言，他們的教材一直是培訓學生、研究人員和從業者的黃金標準。」

橫跨幾十年的合作

在加入貝爾實驗室之前，Aho 和 Ullman 都在普林斯頓大學拿到了博士學位。1967年到1969年間，兩人在貝爾實驗室共事，開發了分析、編譯編程語言的高效算法。

1969年，Ullman 投身學術研究，在斯坦福大學拿到了教職；而 Aho 則在加入哥倫比亞大學之前在貝爾實驗室工作了30年。盡管不在一個地方工作，兩人的合作在幾十年間并沒有間斷。在此期間，他們合著了不少論文、教科書，還引入了算法、編程語言、編譯器、軟件系統方面的新技術。

順帶一提，Jeffrey Ullman 是谷歌聯合創始人謝爾蓋 · 布林的 PhD 導師。

那些影響深遠的教材

Aho 和 Ullman 兩人共合著了9本影響深遠的教材（包括初版和更新版本），其中最受歡迎的是《計算機算法的設計與分析》（1974）和《編譯器設計原則》（1977）。

如果有人問「大家在計算機學習路上，都看過哪些神一般的書？」，大部分人的回答中肯定包含這兩本。

《計算機算法的設計與分析》（1974）

本書由 Aho、Ullman 和1986年圖靈獎得主 John Hopcroft 合著，被譽為該領域的經典著作，并且是十多年來計算機科學研究中被引用數量最多的書籍之一。當計算機科學還是一個新興領域時，這本書就成為了全世界算法課程的標準教材。

在本書中，除了闡述他們對算法的研究貢獻外，還介紹了如何將隨機存儲器（RAM）作為基本模型來分析遞歸關系算法的時間和空間復雜度。RAM 模型還將獨立的算法編成通用設計方法。書中介紹的 RAM 模型和通用算法設計構成了當今標準計算機科學課程的重要組成部分。

《編譯器設計原則》（1977）

《編譯器設計原則》由 Aho 和 Ullman 共同撰寫，是一關于編譯器技術的權威書籍，將形式語言理論和基于語法的編譯技術集成到了編譯器設計過程中。因為封面圖片，這本書也通常被稱為「龍書」，它清晰地列出了將高級編程語言轉換為機器代碼，模塊化整個編譯器構造的階段。

目前常見的「龍書」編譯原理是2006年底的升級版，它已成為計算機科學本科生的教材。

這本書包含了作者對有效的詞法分析技術、語法分析技術和代碼生成技術所做的算法貢獻。本書的最新版本《編譯器：原理，技術和工具》（與 Ravi Sethi 和 Monica Lam 合著）于2007年出版，至今仍是有關編譯器設計的標準教科書。

參考鏈接：https://amturing.acm.org/

https://www.nytimes.com/2021/03/31/technology/turing-award-aho-ullman.html

原標題：《編譯器神書「龍書」作者獲2020圖靈獎：創造數百萬編程人員使用的工具和教材》

總結

以上是生活随笔為你收集整理的创造数百万编程人员使用的“神书”作者获图灵奖的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。