Конечность выполнения алгоритма заключается в том, что для получения результата нужно выполнить конечное число шагов, то есть исполнитель в некоторый момент времени останавливается. 5
Если исходные данные заданы корректно, алгоритм завершит своё действие и выдаст результат за конечное число шагов. 2