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