单选题 一个算法必须在执行有穷步之后结束。这就是算法的______。
   A．正确性  B．有穷性  C．确定性  D．可行性