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

A．可行性
B．有穷性
C．正确性
D．确定性