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