彼得·诺尔（Peter Naur）

彼得·诺尔（Peter Naur，1928—2016）是丹麦计算机科学家，ALGOL 60 语言定义的核心贡献者，也是巴科斯-诺尔范式（BNF）命名中的诺尔，2005 年获图灵奖。

概述

诺尔早年是一名天文学家，因计算轨道而接触到计算机。1960 年前后，他担任 ALGOL 60 语言报告的编辑，用一种严谨的形式化记法来描述语言的语法。这套记法在约翰·巴科斯的工作基础上加以完善，后被称为巴科斯-诺尔范式，成为描述编程语言语法的标准工具。

核心贡献

• 主编 ALGOL 60 报告，使这门语言以极高的严谨性被定义，深刻影响了后来几乎所有过程式语言。
• 推广并完善 BNF，为形式语言与编译原理提供了通用的语法描述框架。
• 提出程序设计是一种理论构建活动的观点，强调程序员头脑中的理解比代码文本更重要。
• 长期关注软件工程的认识论问题，对方法论式的软件开发持批判态度。

应用场景

BNF 及其扩展形式今天被广泛用于定义编程语言、通信协议、配置文件格式和数据交换格式的语法，是编译器前端、解析器生成工具的理论基础。ALGOL 60 的结构化语法则直接启发了 Pascal、C 等语言的设计。诺尔关于程序即理论的观点，也常被现代软件工程与知识管理讨论所引用。

常见问题

问：BNF 里的两个名字分别指谁？答：巴科斯指 FORTRAN 之父约翰·巴科斯，诺尔即彼得·诺尔，二人先后推动了这套语法记法的形成。

问：诺尔为什么反对软件工程方法论？答：他认为软件的核心是开发者对问题的深层理解，这种理解难以靠固定流程或文档传递，过度依赖方法论反而可能忽视真正的关键。