Конечность алгоритма означает что