2.3.1 产生式