对于算法的每一步，指令必须是可执行的。算法的( )要求算法在有限步骤之后能够达到预期的目的。

A．可行性

B．有穷性

C．正确性

D．确定性