输入(Input)

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

输出(Output)

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

确定性(Definiteness)

算法中的每一条指令必须有确切的含义，不能产生多义性：

可行性(Effectiveness)

算法中的每一条指令必须是切实可执行的，即原则上可以通过已经实现的基本运算执行有限次来实现（也称之为有效性）；

有穷性（Finiteness）

算法必须能在有限步后终止；