機(jī)器之心報(bào)道

機(jī)器之心編輯部

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

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

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

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

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

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

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

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

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

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

ACM 主席 Gabriele Kotsis 說：「計(jì)算機(jī)編程的實(shí)踐和日益發(fā)展的軟件系統(tǒng)為過去五十年來大部分的技術(shù)進(jìn)步奠定了基礎(chǔ)。無數(shù)研究者和從業(yè)者為這些技術(shù)做出了貢獻(xiàn)，其中 Aho 和 Ullman 的研究工作尤為重要且影響深遠(yuǎn)。他們幫助我們了解了算法的理論基礎(chǔ)，并規(guī)劃了編譯器和編程語言設(shè)計(jì)方面的研究和實(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 補(bǔ)充道，「他們還闡明了這些學(xué)科之間的緊密聯(lián)系。Aho 和 Ullman 引入了關(guān)鍵的技術(shù)概念，包括已經(jīng)成為核心算法的具體算法。就計(jì)算機(jī)科學(xué)教育而言，他們的教材一直是培訓(xùn)學(xué)生、研究人員和從業(yè)者的黃金標(biāo)準(zhǔn)。」

橫跨幾十年的合作

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

總結(jié)

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

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