(1) Конечное множество четко определенных правил для решения задачи в конечное число шагов; Например, полная спецификация последовательности арифметических операций для оценки синус x к данной precision.~(2) любая последовательность операций для выполнения конкретной задачи.