巴科斯范式

---

一种形式化的语言表示方法。

它不仅可以严格地表示语法规则，而且所描述的文法极其类似于形式语言中的上下文无关的文法，从而打开形式语言广泛应用于程序设计语言的局面。巴科斯范式具有语言简单、表示明确、便于语法分析和编译的特点。

例如在ALGOL语言中，定义数字为0，1，2，3，4，5，6，7，8，9。

若用巴科斯范式描述，则为〈数字〉∷=0|1|2|3|4|5|6|7|8|9。其中符号“∷=”表示“被定义为”的意思。符号“|”表示“或者”的意思。“〈〉”表示界限括号。