参考答案：D

解析：一个算法必须具有5个特性，即有穷性、确定性、可行性、有输入、有输出。其中有穷性是指算法必须总是在执行完有穷步之后结束，而且每步都在有穷时间内完成。