Backus-Naur Form, 巴科斯-诺尔 范式：一种描述高级语言语法的表示法。

BNF 符号概览

符号 描述

::= 该符号左边的元素被该符号右边的结构所定义

*： 该符号前面的结构可以重复零次或多次

{…}： 在这个花括号中的结构一起组合成一组

[…]： 方括号中的结构是可选的

|： 一个具有排它性的OR

黑体字： 一个关键字(尽管在这个BNF定义中使用了大写，但是事实上关键字并不是大小写敏感的)

空白区域： 一个空白区域可以是一个空格、横表符或是换页符