1.5 产生式系统的类型