Как называется свойство алгоритма, означающее, что данный алгоритм всегда приводит к результату через конечное число шагов: