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

Свойство алгоритма, которое означает, что он всегда приводит к результату через конечное число шагов, называется конечностью. Это одно из основных свойств, отличающих алгоритмы от неалгоритмических процессов.