Формальность — это свойство указывает на то, что любой исполнитель, способный воспринимать и выполнять инструкции алгоритма, действует формально, т. е. отвлекается от содержания поставленной задачи и лишь строго выполняет инструкции.
[Язык алгоритмический. Глоссарий. (Электронный ресурс). Режим доступа: http:// portal.edu.asu.ru›mod /glossary/view.php…/, свободный.]