规范
词法文法和句法文法用文法产生式来表示。每个文法产生式定义一个非结束符号和它可能的扩展（由非结束符或结束符组成的序列）。在文法产生式中，非结束符号显示为斜体，而结束符号显示为等宽字体。
文法产生式的第一行是该产生式所定义的非结束符号的名称，后跟一个冒号。每个后续的缩进行列出一个可能的扩展，它是以非结束符或结束符组成的序列的形式给出的。例如，产生式：
while-statement：（while 语句：）
while （ boolean-expression ） embedded-statement（while （ 布尔表达式 ） 嵌入语句）
定义了一个 while 语句，它是这样构成的：由标记 while 开始，后跟标记“（”、布尔表达式、标记“）”和嵌入的语句。
当有不止一个可能的非结束符号扩展时，列出这些可能的扩展（每个扩展单独占一行）。例如，产生式：
statement-list：（语句列表：）
statement（语句）
statement-list statement（语句列表 语句）
定义一个语句列表，它或仅含有一个语句，或由一个语句列表和随后跟着的一个语句组成。换言之，定义是递归的，语句列表由一个或多个语句组成。
一个符号若以下标“可选”作其后缀，就表明该符号是可选的。产生式：
block：（块：）
{ statement-listopt }（{ 语句列表可选 }）
是以下产生式的简短形式：
block：（块：）
{ }
{ statement-list }（{ 语句列表 }）
它定义了一个块，此块由一个用“{”和“}”标记括起来的可选语句列表组成。
可选项通常在单独的行上列出，但是当有许多可选项时，可以在单行上给定的扩展列表之前加上短语“下列之一”。这只是在单独一行上列出每个可选项的简短形式。例如，产生式：
real-type-suffix： one of（实数类型后缀：下列之一）
F f D d M m
是以下产生式的简短形式：
real-type-suffix：（实数类型后缀：）
F
f
D
d
M
m