文法的定义 ●文法G定义为四元组r,V,S,P) V是有限的终极符集合 V是有限的非终极符集合 S是开始符,S∈V P是产生式的集合,且具有下面的形式 α→>β,其中α,β∈VN)*文法的定义 ⚫文法G定义为四元组(VT,VN,S,P) ▪ VT是有限的终极符集合 ▪ VN是有限的非终极符集合 ▪ S是开始符，S VN ▪ P是产生式的集合，且具有下面的形式：  →，其中，(VTVN )*