BNF范式(BNF: Backus-Naur Form 的缩写；也称为巴科斯-瑙尔范式、巴克斯-诺尔范式)，是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。
在软件测试中我们一般将它应用为一种分析语言，用于形式化描述语言的语法。
巴科斯范式(BNF: Backus-Naur Form 的缩写)是由 John Backus 和 Peter Naur 首先引入的用来描述计算机语言语法的符号集。
现在，几乎每一位新编程语言书籍的作者都使用巴科斯范式来定义编程语言的语法规则。
巴科斯范式的内容 ：
在双引号中的字("word")代表着这些字符本身。而double_quote用来代表双引号。
在双引号外的字（有可能有下划线）代表着语法部分。
尖括号( < > )内包含的为必选项。
方括号( [ ] )内包含的为可选项。
大括号( { } )内包含的为可重复0至无数次的项。
竖线( | )表示在其左右两边任选一项，相当于"OR"的意思。
::= 是“被定义为”的意思。
本文讲述的是：BNF范式的概念，以及什么是BNF范式。BNF范式的内容