Основные принципы программирования для формальных исполнителей:

1. Дискретность. 12 Путь решения задачи разделён на отдельные шаги (действия). 2 Каждому действию соответствует предписание (команда). 2 Только выполнив одну команду, исполнитель может приступить к выполнению следующей команды. 2
2. Понятность. 2 Алгоритм состоит только из команд, входящих в систему команд исполнителя, то есть из таких команд, которые исполнитель может воспринять и по которым может выполнить требуемые действия. 2
3. Определённость. 2 В алгоритме нет команд, смысл которых может быть истолкован исполнителем неоднозначно. 2 Недопустимы ситуации, когда после выполнения очередной команды исполнителю неясно, какую команду выполнять следующей. 2
4. Результативность. 1 Исполнитель должен решить задачу за конечное число шагов. 1

Также при составлении алгоритма нужно учитывать особенности конкретного исполнителя: круг решаемых задач, систему команд, систему отказов и режим работы. 4