本章描述了本规范中用于定义程序词法和语法结构的上下文无关语法（context-free grammars）。
2.1 Context-Free Grammars
一个上下文无关的语法由许多 productions 组成。每一个 productions 都有一个称为 nonterminal 的抽象符号在它 left-hand side，一个或多个 nonterminal 和 terminal 符号的序列在他的 right-hand side。对于每种语法，终止符号都是从指定的 alphabet 中抽取的。
从由单个可识别的非终结符（称为 goal symbol）组成的句子开始，给定的与上下文无关的语法指定了一种语言，即，通过将序列中的任何非终止符重复替换为以非终止符为左边的 productions 的右手边而产生的可能的终止符序列集。