BNF(Backus-Naur Form, 巴科斯范式)

BNF(Backus-Naur Form, 巴科斯范式)是由 John Backus 和 Peter Naur 首先引入的用来描述计算机语言语法的符号集。

::=：是“被定义为”的意思。
" "：双引号内包含的的是字符本身
 | ：竖线表示在其左右两边任选一项，相当于"OR"的意思。
< >：尖括号内包含的为必选项。
( )：小括号内包含的所有项为一组。
[ ]：中括号内包含的为可选项。
{ }：大括号内包含的为可重复0至无数次的项。