上下文无关文法(CFG) 定义为四元组W,V,s,P) V是有限的终极符集合 V是有限的非终极符集合 S是开始符,S∈V P是产生式的集合,且具有下面的形式: A→12… 其中A∈V,X∈(r),右部可空上下文无关文法（CFG） ⚫定义为四元组(VT,VN,S,P) ▪ VT是有限的终极符集合 ▪ VN是有限的非终极符集合 ▪ S是开始符，S VN ▪ P是产生式的集合，且具有下面的形式： A→X1X2…Xn 其中AVN，Xi (VTVN ) ，右部可空