第二章：形式文法和形式语言

句型

从文法的开始符号出发进行零步或多于零步的推导得到的文法符号串（S =*=> α）。句型可以既包含终结符号又包含非终结符号。

句子

只包含终结符号的句型称为句子。句子是一种特殊的句型。

语言

文法 G 推导出的所有句子组成的集合，称为语言，记为 L(G)，即：

$L(G)=\{x | S =*> x \text{且} x∈V_T*\}$