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

Результативность (конечность) — алгоритм должен приводить к решению задачи за конечное число шагов.