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