Simone
算法的五个特征是：有穷性，确切性，输入项，输出项，可行性。实际上就以上五个特性是没法解释算法与程序的区别的。因为算法是程序的概述，程序是算法的实现，算法所具有的特性，程序都具有。如果没有算法的支持，程序只是一堆无序的代码。
算法（Algorithm）是指解题方案的准确而完整的描述，是一系列解决问题的清晰指令，算法代表着用系统的方法描述解决问题的策略机制。也就是说，能够对一定规范的输入，在有限时间内获得所要求的输出。如果一个算法有缺陷，或不适合于某个问题，执冲植行这个算法将不会解决这个问题。不同的算法可能用不同的时间、空间或效率来完成同样的任务。一个算法的优劣聚德数轮可以用空间复杂度与360问答时间复杂度来衡量。
形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，并在其后尝试定义有效计算性或者有效方法中成形。这些尝试包括库尔特·哥德尔、JacquesHerbrand和斯蒂芬·科尔·克莱尼分别于1930年、1934年和距1935年提出的递归函商略续单取数，阿隆佐·邱奇于1936年规破石蛋实坏本提出的λ演算，1936年EmilLeonPost的Formulation1袁争神击伯饭和艾伦·图灵1937年提出的图灵机。即使在当前，依然常有直觉想法难以定义为形式化算法的情况。
