BNF表示法

BNF代表Backus-Naur Form 。它用于编写上下文无关文法的形式表示。它还用于描述编程语言的语法。

BNF表示法基本上只是上下文无关语法的一种变体。

在BNF中，产品的形式为：

Left side → definition

其中莱夫特赛德_{∈(VÑ∪V T，)+}和定义_{∈(VÑ∪V T，)*。}在BNF中，左侧包含一个非末端。

我们可以用相同的左侧定义多个产品。所有生产用竖线符号“ |”分隔。

语法的产生方式如下：

S → aSa
S → bSb
S → c

在BNF中，我们可以将上述语法表示为：

S → aSa| bSb| c