ма у Дональда Кнута: конечный набор правил, определяющий последовательность операций для решения конкретного типа задач.