Данная работа посвящена разработке языка символьных комплексных выражений и алгоритма проверки эквивалентности комплексных выражений, записанных на данном языке. Целью работы является повышение эффективности процесса обучения путем автоматизации проверки решаемых в ходе обучения задач. В ходе работы проделано: 1.Разработана порождающая грамматика класса символьных комплексных выражений 2.Язык символьных комплексных выражений внедрен в систему проверки библиотеки TWF 3.Разработан алгоритм проверки комплексных выражений, записанных на данном языке. Работа в основном проводилась с кодовой базой библиотеки TWF. Существующий интерпретатор выражений системы проверки был доработан в соответствии с разработанной грамматикой. После этого был разработан алгоритм проверки комплексных выражений. Теоретическая значимость проделанной работы заключается в разработанной модели языка символьных комплексных выражений и его реализации, а также в алгоритме проверки эквивалентности выражений, на нем записанных. Практическая значимость заключается в том, что полученные язык и алгоритм внедрены в систему проверки библиотеки TWF, которая является библиотекой для уже существующих игры Matify и веб-сервиса для проверки задач TWF.

The given work is devoted to development of a complex symbolic expression language and an algorithm for checking the equivalence of complex expressions writ-ten in this language. The purpose of the work is to increase the efficiency of the learning process by automating the verification of tasks solved during the training. Tasks completed during the work: 1.The generating grammar of the class of symbolic complex expressions is developed 2.The language of symbolic complex expressions is implemented in the TWF library validation system 3.An algorithm for checking complex expressions written in this language has been developed. The work was mainly carried out with the code base of the TWF library. The existing expression interpreter of the validation system has been modified in accordance with the developed grammar. After that, an algorithm for checking complex expressions was developed. The theoretical significance of this work lies in the developed model of the language of symbolic complex expressions and its implementation, as well as in the algorithm for checking the equivalence of expressions written on it. The practical significance lies in the fact that the resulting language and algorithm are embedded in the TWF library verification system, which is a library for an existing game called Matify and a web service called TWF for checking tasks.