Any 算法 or 正式(形式) 过程 that 包含 the translation of 数据 is a 映射 过程