Важность формальности алгоритмов при разработке компьютерных программ заключается в том, что она позволяет:

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