A算法必须有输出B算法必须在有限步执行后能结束C算法必须在计算机上用某种语言实现D算法不一定有输入