Пусть имеется бесконечное множество задач и указано, что понимается под решением каждой. Алгоритм для решения этих задач существует, если существует единый способ, позволяющий для каждой задачи в конечное число шагов найти её решение, т.е. алгоритм – это набор точных предписаний, позволяющий решить определенную задачу. Важный специальный класс алгоритмов – машина Тьюринга.
Тьюринг Алан (1912–1954) – английский математик.