程序是算法用某种程序设计语言的具体实现，程序需满足算法的所有性质