产生式系统具有的一般形式是（）。