一个算法应该具有以下五个重要的特征：有穷性：指算法必须能在执行有限个步骤之后终止。

确切性：指算法的每一步骤必须有确切的定义。

输入项：一个算法有0个或多个输入，以刻画运算对象的初始情况。

其中0个输入是指算法本身定出了初始条件。

输出项：一个算法有一个或多个输出，以反映对输入数据加工后的结果。

没有输出的算法是毫无意义的。

可行性：也称之为有效性。

指算法中执行的任何计算步骤都是可以被分解为基本的可执行的操作步，即每个计算步都可以在有限时间内完成因此“一个算法它所包含的步骤是无限的”这句话是错的。