2020 · 语言与软件

程序语言背后的机器

自动机、文法与算法让编译器更易教学，也更可靠。

阿尔弗雷德·阿霍 · 杰弗里·厄尔曼

2020图灵奖

视觉指南

奖项，化为图解

阅读图解文字

共享的理论词汇，让编译技术能够被教学、复用，并应用于新语言。

编译器前端只是语言实现的一部分，优化和机器代码生成还有更多挑战。

01 · 核心想法

阿尔弗雷德·阿霍和杰弗里·厄尔曼发展了实现程序语言的算法与理论，并通过影响深远的教材整合这些知识。源文本先被识别为词法单元，再被解析出结构，最终逐步转向可执行代码。他们为多代程序员提供了共同工具箱。

共享的理论词汇，让编译技术能够被教学、复用，并应用于新语言。

02 · 人物

阿尔弗雷德·阿霍发展了让程序语言实现更系统化的算法和工具。他在贝尔实验室研究模式匹配、语法分析和编译器构造，也参与 Unix 工具体系。他与杰弗里·厄尔曼等合作者把相关知识编入重要教材，后来在哥伦比亚继续教学，将深刻的算法基础与语言处理器的实际构造结合起来。

杰弗里·厄尔曼推动编译器、算法和数据库的理论与教育基础。他与阿尔弗雷德·阿霍合作提出重要结果、撰写教材，解释形式语言如何转化为实际的语言处理系统。他在斯坦福还发展数据库理论并培养多代研究者。他对共同获奖成果的贡献包括原创技术，以及系统整理和传授领域知识的能力。

03 · 延伸阅读

本站原创讲解依据官方获奖记录。领域标签用于编辑导航。