ТРЯП 2022

 

Материалы курса

  • Программа курса, правила оценивания и каноническое задание
  • Книжка о регулярных языках и конечных автоматов (по первой части курса)
  •  Плейлист лекций 2021 I
  •  Плейлист лекций 2021 II (дистант)
 

Пересдачи


30 Января 2023

Публикуем информацию о пересдачах:

  • 13 февраля, понедельник, 13:00 107 бк (ФИЗТЕХ-БИО)
  • 27 февраля, понедельник, 13:00 522 ГК
  • 6 марта, понедельник, 13:00 907 КПМ
 

Запись консультации


18 Января 2023

Запись консультации доступна по ссылке. На консультации обсуждались только организационные вопросы.

 

Формат экзамена


15 Января 2023

Экзамен состоится в пятницу 20 января в 115 КПМ, начало 9:00.

Экзамен будет состоять из двух частей. В первой части будут тестовые вопросы и элементарные задачи, во второй — более содержательные задачи. Первая часть будет проверена экзаменаторами сразу после написания, и по её результатам (возможно после беседы по написанному) будет вынесен один из следующих вердиктов:

  • Неудовлетворительная оценка за экзамен

  • Удовлетворительная оценка за экзамен

  • Допуск до второй части экзамена

В случае допуска до второй части экзамена оценка выставляется после беседы по обеим частям работы.

При написании работы нельзя пользоваться вспомогательными материалами (письменными, печатными, электронными) и электронными устройствами. В случае обнаружения нарушения, за экзамен выставляется оценка 0 балов.

Если вы хотите прийти на экзамен для получения оценки автоматом, а сам экзамен не писать, то нужно приходить не к началу экзамену, а в 10:00. Рекомендуем свериться с правилами выставления оценок, чтобы проверить, что вы действительно имеете право на получение автомата без написания экзамена.

 

Досрочный экзамен


20 Декабря 2022

На досрочном экзамене происходит выставление оценки автоматом $O_{\text{авт.}}$ (в случае если её получение допустимо согласно правилам). Оценку автоматом можно получить как на досрочном экзамене, так и на основном.

Публикуем даты досрочного экзамена:

  •  Вторник, 27.12.2022, 12.00 – 15.00, 907 КПМ
  •  Среда, 28.12.2022, 13.00 – 14.00, 907 КПМ

При возникновении проблем, писать в телеграм @kbt76

 

 

Критерии второй семестровой контрольной


05 Декабря 2022

Публикуем ответы, указания, решения и критерии проверки первой контрольной.

 

Расписание показа работ второй контрольной


05 Декабря 2022

Бишук, суббота, 10 декабря 17.00, 907 КПМ

 

Литвиненко Иван Алексеевич

Дорушенкова Ольга Игоревна

Игнатьев Даниил Андреевич

Колосов Михаил Андреевич

Кривенко Дмитрий Андреевич

Эйнуллаев Алтай Эльшан оглы

 

Шиманогов, среда, 07 декабря, 20.00, 424 ГК

 

Ермаков Антон Олегович

Пак Матвей Евгеньевич

Панков Вячеслав Александрович

Пророков Арсений Александрович

Рубцов Денис Николаевич

Стребков Иван Денисович

Тарасов Михаил Николаевич

Фирсов Сергей Андреевич

 

Федоров, четверг, 08 декабря, 20.00, 903 КПМ

 

Бакаева Ева Андреевна

Гречишкин Дмитрий Игоревич

Карпов Никита Сергеевич

Кащенко Антон Игоревич

Коробьин Константин Олегович

Самарина Нина Сергеевна

Тимошенко Максим Олегович

Хафизов Фанис Адикович

 

Шамбер, среда, 07 декабря, 20.00, 903 КПМ

 

Быстров Дмитрий Александрович

Кошелев Александр Юрьевич

Левин Леонид Ильич

Мирзаев Рустам Аъзамович

Поляков Александр Алексеевич

Тадевосян Мелис Вагеевич

Труфанова София Павловна

Царев Иван Николаевич

Шестопалов Даниил Антонович

 

Маланчук, пятница, 09 декабря, 20.00, 532 ГК

 

Аманкулов Айдар

Богданов Яков Владимирович

Гарбузов Николай Алексеевич

Конобеев Михаил Михайлович

Кузнецов Кирилл Сергеевич

Тожимухаммедов Асадбек Авазбек Угли

Шевченко Владислав Игоревич

 

Панкратов, понедельник, 05 декабря, 16.00, 522 ГК

 

Гаврилова Варвара Андреевна

Гончаров Артём Александрович

Гончаров Михаил Александрович

Горбунова Алиса Вячеславовна

Лебедев Константин Дмитриевич

Петрова Анна Алексеевна

Рыбаков Алексей Николаевич

Рыбаков Дмитрий Алексеевич

Фатеев Илья Алексеевич

 

Теймуразов, понедельник, 05 декабря, 16.00, 523 ГК

 

Аверков Владислав Евгеньевич

Болотин Артём Сергеевич

Ермошин Михаил Евгеньевич

Касюк Вадим Александрович

Лобарев Георгий Романович

Родригес Яновицкий Антонио Александрович

 

Фатыхов, понедельник, 05 декабря, 16.00, 523 ГК

 

Ребриков Алексей Витальевич

Гордица Алексей Дмитриевич

Мельников Макар Максимович

Погудин Александр Сергеевич

Созинов Кирилл Алексеевич

Канищев Кирилл Олегович

 

 

Джанабекова, суббота, 10 декабря, 9.00, 903 КПМ 

 

Громаков Илья Алексеевич

Гуров Александр Павлович

Запорожец Артем Андреевич

Мирчевский Кирилл Юрьевич

Парасюк Владимир Владимирович

Чурин Олег Андреевич

Шапка Павел Александрович

 

Джанабекова, суббота, 10 декабря, 10.00 – 11.00, 903 КПМ

 

Абдрахимов Артём Александрович

Алмазулы Айболат

Титов Михаил Игоревич

 

Вторая семестровая контрольная


01 Декабря 2022

Вторая семестровая контрольная состоится в понедельник 5 декабря с 9:00 до 12:10. Распределение по аудиториям (первые буквы фамилий, все аудитории в ГК):

  • 432 А – З

  • 117 И – Н

  • 123 П – Ф 

  • 532 Х – Я + академ. Разница

 

Атрибутные грамматики (PEG)


29 Ноября 2022

Материалы по лекции об атрибутных грамматиках (PEG) доступны в репозитории.

 

Материалы по PEG


23 Ноября 2022

Публикуем конспет по PEG а также примеры PEG, разобранные на лекции

S = ANBN
ANBN = "a" ANBN "b" / ""

S = (! EC) ANBN / ANCN
EC = "a" EC / "c"
ANBN = "a" ANBN "b" / ""
ANCN = "a" ANCN "c" / ""

S = (! (! ANBN)) A BNCN
A = "a" A / ""
ANBN = "a" ANBN "b" / ""
BNCN = "b" BNCN "c" / ""

На лекции задали правильный вопрос, на который я сходу неправильно ответил. Почему PEG ниже не распознаёт слово `aacc`. Ответ обсудим на следующей лекции

S = ANBN / ANCN
ANBN = "a" ANBN "b" / ""
ANCN = "a" ANCN "c" / ""

 

Критерии для первой семестровой контрольной


24 Октября 2022

Публикуем ответы, указания, решения и критерии проверки первой контрольной.

 

Расписание показа работ


24 Октября 2022

Публикуем расписание показа работ первой семестровой контрольной

 

Суббота, 29.10.2022, 907 КПМ, 9.00 – 10.00

Джанабекова

 

101      Богданов Яков Владимирович

103      Васюрина Варвара Сергеевна

102      Дорушенкова Ольга Игоревна

101      Залесская Ольга Юрьевна

107      Игнатьев Даниил Андреевич

105      Кателкин Артем Максимович

105      Кервинен Матвей Семенович

107      Лобарев Георгий Романович

104      Павлов Михаил Александрович

 

Суббота, 29.10.2022, 907 КПМ, 10.00 – 11.00

Джанабекова

 

108      Панков Вячеслав Александрович

108      Алмазулы Айболат

108      Дахова Анастасия Александровна

108      Мельников Макар Максимович

 

Понедельник, 31.10.2022, 907 КПМ, 10.00 – 11.00

Бишук

 

102      Аверков Владислав Евгеньевич

105      Бурнышев Роман Алексеевич

106      Зинец Анастасия Николаевна

106      Колосов Михаил Андреевич

101      Конобеев Михаил Михайлович

107      Лисов Петр Владимирович

103      Мирзаев Рустам Аъзамович

105      Поляков Александр Алексеевич

105      Самарина Нина Сергеевна

101      Труфанова София Павловна

101      Хафизов Фанис Адикович

107      Эйнуллаев Алтай Эльшан оглы

106      Якушкова Елизавета Сергеевна

 

Понедельник, 24.10.2022, 903 КПМ, 16.00

Теймуразов

 

103      Баринов Александр Дмитриевич

106      Быстров Дмитрий Александрович

101      Запорожец Артем Андреевич

105      Ковалев Алексей Леонидович

106      Левин Леонид Ильич

107      Масленников Артём Эдуардович

108      Пак Матвей Евгеньевич

107      Родригес Яновицкий Антонио Александрович

104      Тарасов Михаил Николаевич

108      Титов Михаил Игоревич

106      Трифонов Степан Денисович

106      Царев Иван Николаевич

103      Чурин Олег Андреевич

101      Шапка Павел Александрович

 

Понедельник, 24.10.2022, 907 КПМ, 18.00

Шиманогов

 

104      Будажапов Марат Манасович

102      Гвиниашвили Давид Георгиевич

106      Гуров Александр Павлович

107      Касьянов Павел Романович

108      Кузнецова Александра Алексеевна

103      Лебедев Константин Дмитриевич

101      Литвиненко Иван Алексеевич

106      Пророков Арсений Александрович

106      Ребриков Алексей Витальевич

105      Рубцов Денис Николаевич

105      Фирсов Сергей Андреевич

102      Шальман Владимир Константинович

106      Шляпочник Никита Яковлевич

 

Пятница, 28.10.2022, 532 ГК, 20.00

Маланчук

 

102      Бакаева Ева Андреевна

107      Воробьев Фёдор Константинович

105      Гавриленко Арсений Витальевич

104      Гавриленко Роман Сергеевич

103      Гавриленко Сергей Дмитриевич

105      Гаврилова Варвара Андреевна

107      Гончаров Артём Александрович

102      Гончаров Михаил Александрович

106      Горбунова Алиса Вячеславовна

107      Горбунова Анна Олеговна

107      Петрова Анна Алексеевна

108      Рыбаков Дмитрий Алексеевич

102      Серженко Ирина Федоровна

 

Понедельник, 24.10.2022, 907 КПМ, 17.00

Панкратов

 

102      Баранов Иван Дмитриевич

106      Васильев Иван Николаевич

104      Громаков Илья Алексеевич

108      Кащенко Антон Игоревич

104      Колесников Иван Сергеевич

102      Кривенко Дмитрий Андреевич

105      Кузнецов Кирилл Сергеевич

101      Парасюк Владимир Владимирович

102      Погудин Александр Сергеевич

104      Тадевосян Мелис Вагеевич

104      Торопин Иван Павлович

108      Шевченко Владислав Игоревич

102      Юков Артём Игоревич

 

 

Понедельник, 31.10.2022, 903 КПМ, 17.00

Шамбер

 

108      Абдрахимов Артём Александрович

107      Аманкулов Айдар

103      Аникин Алексей Викторович

107      Бармин Марк Вячеславович

103      Болотин Артём Сергеевич

106      Ермаков Антон Олегович

104      Ермошин Михаил Евгеньевич

105      Карпов Никита Сергеевич

105      Кошелев Александр Юрьевич

107      Макарычев Василий Дмитриевич

108      Перунова Мария Сергеевна

102      Созинов Кирилл Алексеевич

103      Ямчур Елена Александровна

 

Четверг, 27.10.2022, 907 КПМ, 20.00

Федоров

 

101      Гарбузов Николай Алексеевич

108      Гордица Алексей Дмитриевич

108      Гречишкин Дмитрий Игоревич

104      Касюк Вадим Александрович

102      Коробьин Константин Олегович

101      Лыкова Елена Анатольевна

104      Мирчевский Кирилл Юрьевич

103      Новиков Максим Ильич

107      Стребков Иван Денисович

103      Тимошенко Максим Олегович

104      Тожимухаммедов Асадбек Авазбек Угли

103      Фатеев Илья Алексеевич

105      Юшин Сергей Витальевич

 

Понедельник, 24.10.2022, 903 КПМ, 15.00

Рубцов

 

101      Шапка Павел Александрович        

АР       Канищев Кирилл Олегович            

 

Распределение по аудиториям


21 Октября 2022

Публикуем распределение студентов по аудиториям для первой семестровой контрольной (понедельник 24 октября, начало 9:00). Студенты с первыми буквами фамилий пишут в соответвующей аудитории (ГК):

  • 532 А – Г

  • 432 Д – Л 

  • 117 М – С 

  • 123 Т – Я + академ. Разница

 

Материалы по суффиксным автоматам


18 Октября 2022

На лекции я рассказывал алгоритм линейного построения близко к этому обзору.

 

Контест на Codeforces


11 Октября 2022

Для желающих программировать алгоритмы на строки и набрать бонусные баллы доступен контест на Codeforces. Баллы за задачи: $0.2$, $0.3$, $0.3$ (см. о бонусных баллах в правилах оценивания за курс). 

 

Семестровая контрольная


11 Октября 2022

Первая семестровая контрольная работа состоится в понедельник 24 октября 9:00-12:10. Распределение по аудиториям будет опубликованно ближе к дате контрольной. По формату стоит ориентироваться на прошлогодний вариант (UPD: вариант будет разбит на две части с перерывом)