BFN范式

什么是BFN范式

BNF是 Backus-Naur Form 的缩写，中文叫巴科斯范式，它是用来描述计算机语言语法的符号集。

内容

双引号(“”)中的字，表示这些字符本身。(double_quote用来代表双引号)
双引号(“”)外的字，表示语法。

标记

尖括号(<>)内包含的为必选项。
方括号([])内包含的为可选项。
大括号({})内包含的为可重复0至无数次的项。
竖线(|)表示在其左右两边任选一项。
(::=)的意思是被定义为。

示例

例如C语言的声明语句可以用BNF这样描述。
声明语句的BNF定义：
<声明语句> ::= <类型><标识符>; | <类型><标识符>[<数字>];

类型的BNF定义：
<类型> ::= <简单类型> | <指针类型> | <自定义类型>
<指针类型> ::= <简单类型> * | <自定义类型> *
<简单类型> ::= int|char|double|float|long|short|void
<自定义类型> ::= enum<标识符> | struct<标识符> | union<标识符> | <标识符>