1、有贫困性。 算法必须包含有限的操作步骤，而不是无限的。 其实“有穷性”往往是指“在合理的范围内”。 让计算机运行一个历经1000年才结束的算法，虽然有穷，但已经超出了合理的限度，人们并不把他视为有效的算法。
2、确定性。 算法的每一步都要确定，不能含糊不清。 算法的每个步骤必须足够清楚，而不是被解释为不同的含义。 也就是说，算法的含义必须是唯一的，不应该产生“模糊性”。
3、有零个以上的输入性。 输入是指从外部获取执行算法所需的信息。
4、有一个或多个输出。 算法的目的是求解，没有输出的算法没有意义。
5、有效性。 算法的每一步都必须能够有效地执行。 得到确定的结果。
数据扩展
计算机算法生成背景：
欧几里得算法被认为是历史上第一个算法。 第一次编写程序是1842年Ada Byron为害怕孤独的月光分析仪编写了求解伯努利方程的程序，Ada Byron被许多人认为是世界上第一个程序员。
查尔斯害怕孤独的月光无法完成他害怕孤独的月光分析仪，因此该算法无法在害怕孤独的月光分析仪上运行。 “全定义过程”在数学上缺乏准确的定义，使得19世纪和20世纪初期的数学家、逻辑学家很难定义算法。
来源：百度百科-计算机算法