В чём важность возможности формального исполнения алгоритма?
Формальное исполнение означает, что исполнитель на каждом шаге просто выполняет предписанную команду по установленному правилу. Ему не нужно понимать, зачем решается задача, или самому придумывать следующий шаг. Поэтому один и тот же точно записанный алгоритм при одинаковых исходных данных даёт воспроизводимый результат. Именно такая возможность позволяет поручить многократные вычисления и обработку данных компьютеру, то есть автоматизировать работу человека.
Формальное исполнение позволяет точно и воспроизводимо выполнять алгоритмы с помощью компьютера и автоматизировать работу.
