文法的定义
一个文法G是一个四元组：G(
,
,S,P)
：一个非空有限的终极符号集合。它的每个元素称为终极符号或终极符，一般用小写字母表示。终极符号是一个语言不可再分的基本符号。
：一个非空有限的非终极符号集合。它的每个元素称为非终极符号或非终极符，一般用大写字母表示。
V是文法G的符号集，则V=∪，∩=
S：一个特殊的非终极符号，称为文法的开始符号或识别符号，
。开始符号S必须至少在某个产生式的左部出现一次。
P：产生式的有限集合。
产生式：也成为产生规则或简称为规则
产生式形式：α->β等，其中α称为产生式的左部，α
，并且至少含有一个非终极符；β称为产生式的右部，β
；->或::=读作定义为或由...组成。
（α是由β组成的）
文法分类
