1、有穷性（Finiteness）：算法的有穷性是指算法必须能在执行有限个步骤之后终止；

2、确切性(Definiteness)：算法的每一步骤必须有确切的定义；

3、输入项(Input)：一个算法有0个或多个输入，以刻画运算对象的初始情况，所谓0个输入是指算法本身定出了初始条件；

4、输出项(Output)：一个算法有一个或多个输出，以反映对输入数据加工后的结果。没有输出的算法是毫无意义的；