标签：A算法必须产生正确的结果B算法可以没有输出C算法必须具有确定性D算法的表示必须使计算机能理解