Vt是一个非空有限集,它的每个元素称为终结符号 Vn是一个非空有限集,它的每个元素称为非终结符号(Vt和Vn的交集为空) S是一个非终结符号,称为开始符号 P是一个产生式集合(有限),每个产生式的形式是P-->a开始S必须在某个产生式的左部出现一次终结符指组成语言的基本符号(如基本字、标识符、常数、算符、界符)非终结符号(也称语法变量)表示一定符号串的集合。你看到小写字母一般是终结符,大写字母肯定是非终结符不明白可以联系。