BNF代表Backus-Naur Form。它用于编写上下文无关文法的形式表示。它还用于描述编程语言的语法。
BNF表示法基本上只是上下文无关语法的一种变体。
在BNF中, 产品的形式为：
Left side → definition其中左侧∈（Vn∪Vt）+和定义∈（Vn∪Vt）*。在BNF中, 左侧包含一个非末端。
我们可以用相同的左侧定义多个产品。所有生产用竖线符号“ |”分隔。
语法的产生形式如下：
S → aSaS → bSbS → c【BNF符号和编译器】在BNF中, 我们可以将上述语法表示为：
S → aSa| bSb| c
