闲聊Backus Naur Form--巴科斯-诺尔（BNF范式）

朴灿烈づ我的快乐病毒、 2022-08-27 05:54 190阅读 0赞

我们程序员，每天都享受着巴科斯-诺尔（BNF范式）范式，给我们带来的程序语言世界。

但，大多数人，对他们二人知之甚少。我也不例外。

我也不想引用任何文献，就自己所了解的，这里做个小笔记。

先说一下ENIAC小组。

冯。诺依曼由ENIAC机研制组的戈尔德斯廷中尉介绍参加ENIAC机研制小组。

之后，冯。诺依曼写了他的著名论文，为当代计算机体系打下基础。

冯。诺依曼发明了许多东西，但冯。诺依曼是个数学家，他对计机算虽然热情相当高，因为他要用计算机来计算，说白了，他还是一个数学家，只是需要计算机进行巨量计算。

所以，冯。诺依曼发明用定点数来算浮点数据的一系列算法。

在这个小组中，还有一个狂人，就是巴科斯。

他希望能够制作出编译器，自动完成浮点数的设定。

所以，先要定义一门语言，这门语言就叫: Fortran (源自于“公式翻译”：FormulaTranslation）

虽然说，谁都明白，如果有纯浮点数该有多好呢？不用每次计算前，进行仔细的设定（学过算法的人都理解啊，小数点设置不对，计算机可是什么也算不出来）。

从心里而言，哪个科学家，都梦想有这个东西出现。

可是，毕竟现实是残酷的。那时候，才是50年代初。那时的计算机，只是一个吞吐纸带的怪物。

所以，冯。诺依曼反对这个根本不现实的想法。当时，什么语言啊，编译器这些东西，都是全新的概念。

冯。诺依曼认为，这种设定，完全超出了现有的计算机的能力。会白白浪费科研经费。

客观来说，冯。诺依曼是对的。

不过，这里我们举一个例子：为什么哥仑布是西班牙资助的？因为西班牙当时，刚建国，不懂航海，而葡萄牙的航海已很成熟了，他们经过计算，认为，既使地球是园的，哥仑布的想法也根本不现实。

而哥仑布到死也不承认自己搞错了。事实上是他搞错了，但这不耽误他是一个伟人。

因为多数人，都有梦想，不象冯.诺依曼那么现实，巴科斯的提案最终还是获得通过。冯.诺依曼也就不反对了。

然而，现实的发展，的确是残酷的——光是有梦想是不成的。Fortran这个世界上第一个编译器（还不是计算机语言，要注意），里不其然啊，直到1960年，还是无尽的bug。

不过，就象美洲救了哥仑布，一个与计算机无关的人，偏偏在这个时候，救了整个计算机行业。

这个人，许多人，肯定想到了，就是著名的乔姆斯基。他的论文《语法结构》拯救了这个行当。

巴科斯不是全凭幸运，现在人们也搞不清楚，他是如何得知这个消息，以及，他怎么读懂了乔姆斯基那么难懂的论文。

总之，狂人，都不是一般的聪明和运气好。

巴科斯立即明白，这就是他要的。所以，他发表了巴科斯范式。是在1959年。1960年诺尔发布了他的范式，二人的有所不同。我也不清楚，但我知道，我们目前用的，更像巴科斯的。

总之，当时乔姆斯基的发现，可能是在西方世界，还是有许多人知道。事实上的确如此，乔姆斯基的《语法结构》，刚发行不久，就有人写了比他还厚的反驳他的论文，而且与之名气相当——这的确是一个有趣的事情。

反正，现实世界和程序员世界完全不同，但程序界，还是完全接受了。

前面我提到过，先有了编译器，也就是FORTRAN 第一版，来自于是IBM的，对了，当时这些科学家都被IBM招去了。

FORTRAN前面我也说了，让巴科斯泥潭深陷，一堆解决不完的BUG.

但现在不同了，有了巴科斯范式，也就真正有了计算机语言，然后基于这种语言编写编译器，这就是第二版FORTRAN。

程序员们都应当记住这个历史性事件，语算机语言第一次被实现，第一次真正有了编译器的概念，就是第二版FORTRAN。

从此，计算机世界，再也没有人能拦得住了。

巴科斯范式直到今天，仍然是个迷，巴科斯是如何想到的，我们谁也不清楚，**但请大家记住这个计算机世界的真正伟人吧**。

参考一些文章如下：

http://en.wikipedia.org/wiki/Backus%E2%80%93Naur\_Form

http://blog.csdn.net/begtostudy/article/details/6026806

#     #

发表评论取消回复

表情：

评论列表（有 0 条评论，190人围观）

还没有评论，来说两句吧...

相关阅读

相关尼科彻斯定理

目录 1.题目概述 2.题解思路分析具体实现 -------------------- 1.题目概述 > 验证尼科彻斯定理，即：任何一个整数m的立方都可以

淡淡的烟草味﹌/ 2023年10月14日 17:36/ 0 赞/ 12 阅读

相关尼科彻斯定理

public class Main { public static void main(String[] args) { Sca

爱被打了一巴掌/ 2023年06月25日 04:47/ 0 赞/ 2 阅读

相关闲聊Backus Naur Form--巴科斯-诺尔（BNF范式）

我们程序员，每天都享受着巴科斯-诺尔（BNF范式）范式，给我们带来的程序语言世界。但，大多数人，对他们二人知之甚少。我也不例外。我也不想引

朴灿烈づ我的快乐病毒、/ 2022年08月27日 05:54/ 0 赞/ 191 阅读

相关摩尔斯电码

摩尔斯电码、自动键、单片机 ================== 摩尔斯电码摩尔斯电码是利用“点”、“划”的多种组合来代表字符。这些点、划的具体形式可见本文下方

素颜马尾好姑娘i/ 2022年08月19日 15:29/ 0 赞/ 378 阅读

相关巴克斯-诺尔范式语法说明

今天在看《Programming Languages and Lambda Calculi》一书（下载地址：[http://pan.baidu.com/s/1kTrAyHL][

绝地灬酷狼/ 2022年08月13日 17:57/ 0 赞/ 5 阅读

相关巴科斯-诺尔（BNF范式）范式

BNF是“Backus Naur Form”的缩写。John Backus和Peter Naur首次引入一种形式化符号来描述给定语言的语法（最早用于描述ALGOL 60 编程语

左手的ㄟ右手/ 2022年07月16日 16:53/ 0 赞/ 793 阅读

相关扩展巴科斯范式(EBNF)简介

介绍扩展巴科斯-瑙尔范式(Extended Backus–Naur Form,EBNF)是一种用于描述计算机编程语言等正式语言的与上下文无关语法的元语法(metasyn

迷南。/ 2022年06月05日 06:45/ 0 赞/ 484 阅读

相关通过hmmlearn学习使用GaussianHMM高斯隐马尔科夫模型模型

HMM主要解决的三个问题。假设隐藏状态序列和观测状态序列分别使用Z和X表示，则解决的3个问题可表示为: 1.解码问题：已知模型参数和X，估计最可能的Z；维特比算法

Bertha 。/ 2022年06月01日 06:14/ 0 赞/ 294 阅读

相关 ABNF（扩充巴克斯-瑙尔范式）核心规则

查询用 <table> <thead> <tr> <th align="left">规则</th> <th align="left">形式定义</t

谁践踏了优雅/ 2021年12月18日 14:17/ 0 赞/ 232 阅读

相关斯诺克台球

斯诺克台球斯诺克台球是一项古老而又时尚的运动，使用长方形球桌，台面四角以及两长边中心位置各有一个球袋，使用的球分为1个白球，15个红球和6个彩球共22个球。其中母球

桃扇骨/ 2021年12月11日 23:57/ 0 赞/ 251 阅读