2.3.1 产生式基本形式