Набор конечных, точно определенных инструкций для решения конкретной задачи или выполнения вычисления. Они должны быть однозначными и приводить к результату за конечное число шагов.