巴科斯范式
维基百科，自由的百科全书
巴科斯范式（也称为巴科斯-瑙尔范式、巴克斯-诺尔范式）是一种用于表示上下文无关文法的语言，上下文无关文法描述了一类形式语言。尽管巴科斯范式也能表示一部分自然语言的语法，它还是更广泛地使用于程序设计语言、命令集、通信协议的语法表示中。大多数程序设计语言或者形式语义方面的教科书都采用巴科斯范式。在各种文献中还存在巴科斯范式的一些变体，如扩展巴科斯范式或者参数化的巴科斯范式。
[编辑] 介紹
BNF 規則是衍生法則的集合, 寫成：
<symbol> ::= <expression with symbols>
where <symbol> is a 非終止, and the expression consists of sequences of symbols and/or sequences separated by the vertical bar, '|', indicating a choice, the whole being a possible substitution for the symbol on the left. Symbols that never appear on a left side are terminals.
