1、有穷性(Finiteness):算法的有穷性是指算法必须能在执行有限个步骤之后终止;
2、确切性(Definiteness):算法的每一步骤必须有确切的定义;
3、输入项(Input):一个算法有0个或多个输入,以刻画运算对象的初始情况,所谓0个输入是指算法本身定出了初始条件;
4、输出项(Output):一个算法有一个或多个输出,以反映对输入数据加工后的结果。没有输出的算法是毫无意义的;