拉丁的传说
1、有穷性（有限性）。任何一种提出的解题方法都是在有限的操作步骤内可以完成的。如果在有限的操作步骤内完不成，得不到结果，这样的算法将无限的执行下去，永远不会停止。除非手动停止。例如操作系统就不具有有穷性，它可以一直运行。2、一个算法应该具有以下七个重要的特征：1）有穷性（Finiteness）算法的有穷性是指算法必须能在执行有限个步骤之后终止2）确切性(Definiteness)算法的每一步骤必须有确切的定义；3）输入项(Input)一个算法有0个或多个输入,以刻画运算对象的初始情况,所谓0个输入是指算法本身定出了初始条件；4）输出项(Output)一个算法有一个或多个输出,以反映对输入数据加工后的结果.没有输出的算法是毫无意义的；5）可行性(Effectiveness)算法中执行的任何计算步都是可以被分解为基本的可执行的操作步,即每个计算步都可以在有限时间内完成；6） 高效性（High efficiency）执行速度快,占用资源少；7） 健壮性（Robustness）健壮性又称鲁棒性，是指软件对于规范要求以外的输入情况的处理能力。所谓健壮的系统是指对于规范要求以外的输入能够判断出这个输入不符合规范要求，并能有合理的处理方式。