Ключевое различие между формальными и неформальными алгоритмическими исполнителями заключается в том, как они выполняют команды. 14

Формальные исполнители строго выполняют команды механически, не задумываясь над задачей или промежуточными итогами. 1 Они всегда выполняют одну и ту же команду одинаково и не вникают в суть отдаваемых команд. 3

Неформальные исполнители понимают, что делают, могут анализировать и даже видоизменять команды при изменении условий. 1 Как правило, им известна конечная цель, и они к ней стремятся, порою уточняя и дополняя алгоритм. 2

Таким образом, формальный исполнитель не обладает ни жизненным опытом, ни здравым смыслом, он не стремится к конечному результату и все инструкции алгоритма выполняет буквально, так, как они записаны в алгоритме. 2