Алгоритм в котором его выполнение определяется проверкой