文法的四个组成部分

一个上下文无关文法有四个元素组成：一个终结符号集合，也称为词法单元。 一个非终结符号集合，也称为语法变量。 一个产生式集合。 一个开始符号。

文法G可以抽象成四元组的形式：G=(VN，VT，P，S)

其中VN表示非终结符集，VT表示终结符集，P表示产生式集，S表示开始符号。

文法G描述的语言用L(G)表示L(G)={w|w∈VT*且S=+>w}符号串w从开始符号推导出来w仅由终结符号组成w称为该语言的句子L(G)由所有这样的句子构成。

约定：大写字母A~Z表示非终结符，或用尖括号把非终结符括起来。 前面的小写符号a、b、。