в последовательном формальном выполнении команд алгоритма. Отсюда следует вывод о возможно
сти создания автоматических исполнителей. В частности, таким
автоматическим исполнителем алгоритмов по обработке инфор
мации является компьютер.
Еще одно свойство, которое отражено в определении алгорит
ма —
конечность. Оно формулируется так: исполнение алгоритма
и, следовательно, получение искомого результата должно завер
шиться за конечное число шагов. Здесь под шагом подразумевает
ся выполнение отдельной команды. Это свойство является пре
дупреждением ситуации, которую программисты называют зацик
ливанием. Бесконечно исполняемый алгоритм безрезультатен.
Поэтому свойство конечности называют еще
