RK1 2022 (regularity checkers)
Участники рубежного контроля:
- волки Матвеев Евгений, Проскурников Юрий, Фёдоров Александр, ИУ9-51Б , прувер тут. Лидеры в абсолютном зачёте и суперпрофи теоретических конструкций. Вдохновлялись этой статьёй автора с непроизносимой фамилией с конференции Developments in Language Theory 2009 года.
- безымянная команда Котов Андрей, Петряев Юрий, ИУ9-51Б, прувер пока что в закрытом портале. Вдохновлялись алгеброй полуколец от итальянских коллег с конференции Implementation and Application of Automata 2002 года. Алгебра в комбинации с плюсами дала команде невероятный буст скорости.
- луковички Ильин Андрей, Макаров Эдгар, Белякова Софья, ИУ9-52Б, прувер тут. Пошли альтернативным путём определения нерегулярности линейных КС-грамматик и героически обошли на этом пути логова четырёх монстров.
По итогу большинство получили "отлично", а кое-кто и "больше, чем отлично". Вперёд к покорению новых неразрешимых задач!
P.S. - Тест Жука все три группы прошли без проблем. Скоро можно будет разрешать писать такие регулярные грамматики в контрольных: если студенты умеют преобразовывать их к канонической форме, значит, право имеют.