彼得·诺尔

✍ dations ◷ 2025-06-30 23:36:12 #1928年出生,2016年逝世,图灵奖获得者,丹麦计算机科学家,哥本哈根大学校友,哥本哈根大学教师,编程语言设计者,丹麦天文学家

彼得·诺尔（英语：Peter Naur，1928年10月25日－2016年1月3日），生于丹麦腓特烈斯贝，天文学家与计算机科学家，曾任哥本哈根大学教授。他协作开发了BNF范式，改进了编程语言。也曾投入 ALGOL 60的开发工作，在软件工程及软件架构领域中都有着重要贡献。为2005年图灵奖得主，也是目前唯一一位丹麦籍的得主。

彼得·诺尔在学校中主修天文学，1957年，在哥本哈根大学取得天文学博士学位。在毕业后，他的研究方向转向计算机科学方面，在1959年到1969年间，他在一间丹麦电脑公司Regnecentralen（英语：Regnecentralen）工作。但他同时也在尼尔斯·波耳研究所与丹麦科技大学授课。在1969年至1998年间，他受聘于哥本哈根大学，担任计算机科学教授。

他在ALGOL 60中，导入巴科斯范式（Backus Normal Form），进一步发展它，并根据其发明者约翰·巴科斯来命名。高德纳认为，彼得·诺尔在这个记号法中也具有很大贡献，主张应称为巴科斯-诺尔范式（Backus-Naur Form），但彼得·诺尔本人不愿居功，他本人仍然称呼其为巴科斯范式。

相关

VATC代码V（其他）是解剖学治疗学及化学分类系统的一个分类，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborating Centre for Drug Statistics Methodology）所制定的药品
有效性在逻辑中，如果一个论证不能从真前提中得出假结论，则论证的形式是完全有效的。一个论证若被称为是有效的，则如果在其中所有前提都为真的每个模型中，结论也是真的。例如：“所有A是B
布雷斯特布雷斯特（法语：Brest，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","G
香苏紫苏（学名：Perilla frutescens）是唇形科紫苏属下唯一种，一年生草本植物，主产于东南亚、台湾、中国大陆湖南、江西等中南部地区、喜马拉雅地区，日本、缅甸、朝鲜半岛(南韩广泛俗称
镇江市镇江市，简称镇，古称京口、润州，是中华人民和国江苏省下辖的地级市，位于江苏省南部，长江南岸。市境东邻泰州市，北接扬州市，西临南京市，南界常州市。地处宁镇山脉东端与长江三角洲西部
何伟何伟（1910年4月－1973年3月），原名霍恒德，男，河南汝南人，中国政治人物。1910年出生于河南汝南，1934年毕业于武汉华中大学，1936年3月加入中国共产党。何伟曾于1949年9月到1952年7月，任广
斯里兰卡航空斯里兰卡航空（英语：SriLankan Airlines；僧伽罗语：ශ්‍රී ලංකා ගුවන් සේවය；泰米尔语：ஸ்ரீலங்கன் ஏர்லைன்ஸ்），旧称兰卡航空（Air Lanka；1979-1998年
努赛努赛（?－1650年），满洲爱新觉罗氏。和硕庄亲王舒尔哈齐之孙、追封简靖定亲王费扬武第六子。努赛初被封辅国公。顺治六年（1649年），进封为贝子。顺治七年（1650年），努赛逝世。朝廷予以谥号
焚猪验尸焚猪验尸是一篇古代文言文作品，出自折狱龟鉴。作者郑克。张举是吴国句章的县官。该县有一女子杀了丈夫，再放火烧毁房屋，谎称“丈夫是被大火烧死的”。丈夫家的人怀疑，向官府告状
艾迪·亚当斯艾迪·亚当斯（Eddie Adams，1933年6月12日－2004年9月19日），是一位美国著名的摄影记者，他拍摄的许多战争题材的照片非常有名。爱迪·托马斯·亚当斯（1933.6.12—2004.9.19），一般简称为