Программирование связано с формальными исполнителями через процесс перевода алгоритма на язык конкретного исполнителя. 1
Алгоритм — это последовательность команд, направленных на решение поставленной задачи. 13 Формальный исполнитель строго выполняет команды, механически, не понимая, что делает, не задумываясь над задачей или промежуточными итогами. 2
Программирование позволяет описать алгоритмы и задачи таким образом, чтобы формальный исполнитель мог их понять и выполнить. 4 Для этого используются языки программирования, которые имеют строго определённую синтаксическую структуру и грамматику. 4
Примером формального исполнителя может служить автоматическая стиральная машина, которая неукоснительно исполняет предписанные ей действия, даже если забыли положить в неё порошок. 3