A算法是对特定问题求解步骤的一种描述B算法是指令的有限序列C算法的可行性是指指令不能有二义性D算法必须在执行有穷步之后结束