A算法的步骤一定是有限的B求解某一问题的算法是唯一的C算法的每一步操作指令必须明确D算法执行后一定产生确定结果