Программная реализация теории формальных языков для решения алгебраических задач: выпускная квалификационная работа магистра: 09.04.04 - Программная инженерия