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