1、算法首先必须正确，即对于任意的一组输入，包括合理的输入与不合理的输入，总能得到预期的输出。

2、算法必须是由一系列具体步骤组成，并且每一步都能够被计算机所理解和执行，而不是抽象和模糊的概念。

3、每个步骤都有确定的执行顺序，即上一步在哪里，下一步是什么，都必须明确，无二义性。

4、算法的步骤必须有限，在任何情况下算法都不能陷入无限循环。