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