Разработка алгоритмов для формальных исполнителей