单选题 对于算法的每一步，指令必须是可执行的。算法的( )要求算法在有限步骤之后能够达到预期的目的。
A．可行性 B．有穷性
C．正确性 D．确定性