ion::::发展历史.约翰·巴科斯首次在ALGOL 58中zh-tw:实作出;zh-cn:实现巴科斯范式。彼得·诺尔在ALGOL 60之中，进一步发展它的概念并将它的符号加以简化，称其为巴科斯范式（Backus Normal Form）。但高德纳主张应称为巴科斯-诺尔范式（Backus–Naur Form），因为它不算是一种正规形式（Normal form）。
介绍.BNF 规定是推导规则(产生式)的集合，写为：<符号> ::= <使用符号的表达式>这里的 <符