3 линейных алгоритма Приведите 2 3 примера формальных исполнителей