A算法应该有一个最终的输出结果B一个算法在执行有穷步后必须结束C算法的每一个步骤必须要确切定义D每一个操作都应该是在特定环境下容许使用的