1.有限性：算法的有限性是指算法必须能够在执行有限数量的步骤后终止；

2.确定性：算法的每一步都必须有一个精确的定义。

3.输入（Input）：一种算法具有0个或多个输入，以表征操作对象的初始情况。所谓的0输入意味着算法本身设置了初始条件。

4.输出：一种算法具有一个或多个输出，以反映处理输入数据的结果。没有输出的算法是没有意义的。

5.可行性（有效性）：算法中执行的任何计算步骤都可以分解为基本的可执行操作步骤，也就是说，每个计算步骤都可以在有限的时间内完成（也称为有效性）。