Алгоритма формальность — свойство алгоритма, позволяющее любому исполнителю, способному воспринимать и выполнять указания алгоритма (возможно, даже не понимая их смысла), правильно выполнить весь алгоритм. Например, вычислительная машина правильно решает задачу по заданному ей алгоритму (программе), хотя, безусловно, сути задачи не понимает.
[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]