文法的定义

一个文法G是一个四元组：G(,,S,P)

：一个非空有限的终极符号集合。它的每个元素称为终极符号或终极符，一般用小写字母表示。终极符号是一个语言不可再分的基本符号。

：一个非空有限的非终极符号集合。它的每个元素称为非终极符号或非终极符，一般用大写字母表示。

V是文法G的符号集，则V=∪，∩=

S：一个特殊的非终极符号，称为文法的开始符号或识别符号，。开始符号S必须至少在某个产生式的左部出现一次。

P：产生式的有限集合。

产生式：也成为产生规则或简称为规则

产生式形式：α->β等，其中α称为产生式的左部，α，并且至少含有一个非终极符；β称为产生式的右部，β；->或::=读作定义为或由...组成。

（α是由β组成的）

文法分类