算法中的每一步操作都必须是可执行的，并得到确定的结果。

只要初始条件相同，无论算法在何种环境下实现，都应该得到相同的、确定的结果。

判断题只要初始条件相同，无论算法在何种环境下实现，都应该得到相同的、确定的结果。

算法应在有限步骤内结束，应在有限的时间内终止。

判断题算法应在有限步骤内结束，应在有限的时间内终止。

算法是一个有穷规则的集合，这些规则确定了解决某一问题的一个运算序列。

判断题算法是一个有穷规则的集合，这些规则确定了解决某一问题的一个运算序列。