压缩文法的等价变换