Практическая работа разработка для формального исполнителя алгоритма