Lang -- 产生式