为各种数据压缩编码奠定理论基础的是( )。