Выполнен анализ возможностей применения автоматизации для улучшения учебного процесса. Продумана классификация задач, встречающихся студентам в образовательном процессе. Построена модель языка для задания выражений и переходов между ними. Введено понятие комбинаторных символьных выражений. Разработаны алгоритмы, позволяющие проверять корректность преобразований над комбинаторными символьными выражениями. Проведены эксперименты реализованной программы автоматической проверки правильности решения задач, обработаны результаты. Оценена степень понятности разработанного языка и применимость системы.