Формальные исполнители не понимают смысла алгоритма. Они только выполняют команды и не могут вносить изменения в алгоритм.
Примеры: ADSL модем, лазерный принтер, фотоэлемент, ЭВМ, устройство для оплаты банковской картой в супермаркете, собака (выполняет команды, не понимая их смысла), телевизор, стиральная машина, принтер и т.д.
Неформальные исполнители понимают смысл алгоритма и могут вносить в него коррективы. Пример: человек.