機器之心報道

機器之心編輯部

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

Jeffrey Ullman（左）和 Alfred Aho（右）是創(chuàng)建「編譯器」的先驅(qū)。

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

如今因為這兩位學(xué)者的努力，幾乎任何人都可以使用計算機并對計算機進(jìn)行編程以執(zhí)行新任務(wù)。

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

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

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

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

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

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

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

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

橫跨幾十年的合作

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

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

順帶一提，Jeffrey Ullman 是谷歌聯(lián)合創(chuàng)始人謝爾蓋 · 布林的 PhD 導(dǎo)師。

那些影響深遠(yuǎn)的教材

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

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

《計算機算法的設(shè)計與分析》（1974）

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

在本書中，除了闡述他們對算法的研究貢獻(xiàn)外，還介紹了如何將隨機存儲器（RAM）作為基本模型來分析遞歸關(guān)系算法的時間和空間復(fù)雜度。RAM 模型還將獨立的算法編成通用設(shè)計方法。書中介紹的 RAM 模型和通用算法設(shè)計構(gòu)成了當(dāng)今標(biāo)準(zhǔn)計算機科學(xué)課程的重要組成部分。

《編譯器設(shè)計原則》（1977）

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

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

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

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

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

原標(biāo)題：《編譯器神書「龍書」作者獲2020圖靈獎：創(chuàng)造數(shù)百萬編程人員使用的工具和教材》

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。