3.5.2 用提取过左公因子的产生式再去匹配