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