Какое свойство алгоритма определяет завершение каждого действия в отдельности и алгоритма в целом за конечное число шагов?