有穷性：一个算法应该包含有限的操作步骤，而不能是无限的。
确定性：算法中的每一个步骤都应当是确定的，而不应当是模棱两可的。
有零个或多个输入
有一个或多个输出
有效性：算法中的每一个步骤都应当有效地运行，并得到确定的结果。