Работа Горохова Артема Владимировича посвящена поддержке грамматик в расширенной форме Бэкуса-Наура (EBNF) в алгоритме GLL. Хотя данная модификация не расширяет класс входных грамматик, поскольку возможно преобразование грамматики в форму без EBNF конструкций, она предоставляет следующие преимущества, описанные в работе. Во-первых, преобразованная грамматика может сильно отличаться от исходной, что затрудняет ее отладку и использование. Кроме того, изменение структуры дерева разбора затрудняет вычисления его семантики, в частности из-за изменения области видимости переменных. Во-вторых, разбор с использованием непосредственно EBNF грамматик может в некоторых случаях положительно сказываться на производительности, о чем будет подробнее рассказано далее. Таким образом, решение данной задачи упрощает разработку и может повысить эффективность генерируемого синтаксического анализатора. В рамках работы студент успешно разработал алгоритм построения синтаксических анализаторов на основе EBNF грамматик с использование рекурсивных автоматов. Было проведено тестирование, которое показало двукратное увеличение производительности по сравнению с факторизованной грамматикой. Однако грамматика, на которой проводилось тестирование, является синтетической — на практике подобные грамматики встречаются крайне редко, поскольку при их написании автор сам бы осуществил правую факторизацию, что, вероятно, сделало бы время работы алгоритмов примерно равным. Таким образом, ставится вопрос о необходимости сравнения с грамматиками, к которым применена и левая, и правая факторизация — природа разработанного алгоритма позволяет заключить, что рост производительности в первую очередь происходит за счет объединения начала или конца правил, и применение обеих факторизаций может сделать разницу во времени работы незначительной. Однако факторизация приводит к серьезной модификации структуры грамматики, в то время как разработанный алгоритм не требует никаких изменений, что является его серьезным преимуществом при практическом применении. Также тестирование на метагеномных сборках показывает, что и на практике алгоритм позволяет достичь двукратного уменьшения времени выполнения по сравнению с нефакторизованной грамматикой. Основным недостатком работы является подача материала. Текст содержит много грамматических и речевых ошибок, что создает впечатление неаккуратно написанной работы. Некоторые ссылки расставлены некорректно, и несколько нарушена структура повествования: часть материала стоит перенести из введения в обзор и, возможно, многие детали стоит поместить в раздел «Реализация». Изменения в некоторых функциях представлены только в виде кода, что затрудняет их понимание. Также стоит отметить, что не было представлено доказательство корректности предложенного алгоритма. Проверка ВКР на предмет наличия/отсутствия неправомерных заимствований показала, что работа неправомерных заимствований не содержит. Несмотря на ряд замечаний, считаю, что студент справился с работой и заслуживает оценку «отлично».