Формальное исполнение алгоритма - исполнитель не понимает то, что делает. Например, стиральная машина - программа заложена программистами, машина выполняет только эти действия, не изменяет их. Компьютер - выполняет команды пользователя, не понимает их.
Неформальное исполнение алгоритма - исполнитель понимает то, что делает и может внести свои изменения в выполнение задания. Например, человек решает задачу по определенным правилам. Может изменить решение, если придумал более простое решение.