术语信息
description
An algorithm that specifies how to transform data such that the resulting data meets given criteria for correctness.