2.4.1 产生式