Дипломная работа Озерных И.С. продолжает исследования кафедры СП СПбГУ в области автоматического форматирования программных текстов. Предшественниками Игоря Станиславовича была разработана система, позволяющая определять требуемый стиль форматирования по образцу кода. Для поддержки нового языка в рамках данной системы необходимо разработать синтаксический анализатор языка и написать по XML-описанию для каждой конструкции языка, что трудоемко и требует глубоких знаний о системе.

Часто синтаксический анализатор получают путем генерации из грамматики языка. Была выдвинута гипотеза, что аналогично могут быть получены и необходимые для системы описания конструкций языка.Перед Игорем Станиславовичем была поставлена задача проверить данную гипотезу.

Для решения поставленной задачи Игорь Станиславович переработал существующую систему, придумал и реализовал некоторые необходимые преобразования грамматик, интегрировал решение с генератором синтаксических анализаторов Grammar-Kit,
проверил работоспособность метода на грамматиках учебного языка While и промышленного языка Erlang. Последнее показало состоятельность метода в целом --- для языка While были получены нужные результаты.

Однако апробация на более сложной грамматике (языка Erlang) выявила, что необходимы более сложные преобразования грамматики, которые не были сделаны.

Игорь Станиславович показал достаточную профессиональную самостоятельность, способность к критическому прочтению научной литературы. Представленные результаты оригинальны и новы, однако не полностью доведены до логического завершения, так как график выполнения ВКР соблюдался лишь частично.

Дипломная работа была представлена на межвузовской конференции ''Программная Инженерия и Организация Информации''.

Принимая во внимание все вышесказанное, я рекомендую данную дипломную работу к защите и предлагаю оценку ''хорошо''.