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