对源文件按照一定规律进行压缩编码处理，生成另一种占用存储空间较小的目的文件称为（）。