词法文法和句法文法用文法产生式来表示。每个文法产生式定义一个非结束符号和它可能的扩展（由非结束符或结束符组成的序列）。在文法产生式中，非结束符号显示为斜体，而结束符号显示为等宽字体。
文法产生式的第一行是该产生式所定义的非结束符号的名称，后跟一个冒号。每个后续的缩进行列出一个可能的扩展，它是以非结束符或结束符组成的序列的形式给出的。例如，产生式：
- 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
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/8781179/viewspace-924514/ ，如需转载，请注明出处，否则将追究法律责任。
上一篇：
C# 语言规范--2.1 程序(转)
请登录后发表评论
登录
全部评论
