算法是满足输入、输出、确定性和有限性的指令序列。程序与算法不同，程序是算法用某种    _         的具体实现。程序不满足算法的              性质。