ТРЯП 2020

 

Лекции

  • 1. Алгебра регулярных выражений. Конечные автоматы  
  • 2. Конечные автоматы  
  • 3. Недетерминированные конечные автоматы  
  • 4. Конечные автоматы и алгоритмы обработки текстов  
  • 5. Структурные свойства регулярных языков  
  • 6. Суффиксные автоматы. Формалные грамматики  
  • 7. Контекстно-свободные грамматики  
  • 8. Автоматы с магазинной памятью  
  • 9. Структурные свойства КС-языков  
  • 10. LL-анализ  
  • 11. Атрибутные грамматики  
  • 12. LR-анализ  .  Презентация , текст про LR-анализ 

Листки (901+)

  • Задание 1         листок семинара  
  • Задание 2         листок семинара  
  • Задание 3         листок семинара  
  • Задание 4         листок семинара  
  • Задание 5         листок семинара  
  • Задание 6         листок семинара  
  • Задание 7         листок семинара   
  • Задание 8      
  • Задание 9         листок семинара   
  • Задание 10       листок семинара  
  • Задание 11: № 56.2, № 57 по каноническому заданию
  • Задание 12     (задание на всю тему LR, не сдаётся на проверку)

 

Программа курса и каноническое задание находятся здесь. Отношение к этому заданию следующее. Я накрываю это задание еженедельными. На выходе предполагается, что вы умеете решать любую задачу из этого задания (кроме дополнительных). Поэтому, если у вас возникают сомнения в ваших способностях, обязательно поднимите этот вопрос.

На еженедельных контрольных можно пользоваться любыми печатными и письменными материалами, любые электронные устройства запрещены: формат OPENBOOK/NODEVICE. Пожалуйста НЕ архивируйте свою файлы при отправке по почте. Это затрудняет проверку.

Теория к домашним заданию по теме «регулярные языки и конечные автоматы» приведена в книжке   , которую можно взять в библиотеке.

 

Прокторинг для пересдачи 2


02 Марта 2021

Инструкции по прокторингу ко второй пересдаче аналогичные, с поправкой на дату. Важно: не забудьте зарегистрироваться на событие в прокторинге.

 

Пересдача-2


01 Марта 2021

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

 

Токены на пересдачу


16 Февраля 2021

Если вы будете сдавать пересдачу 20-го февраля, заполните, пожалуйста, форму для получения токена.

 

Инструкция к прокторингу на пересдаче


03 Февраля 2021

Уважаемые студенты,

Пересдача экзамена по курсу «Теория и реализация языков программирования (ТРЯП)» пройдет с использованием дистанционных технологий системы прокторинга exams.mipt.ru.

Вам необходимо в кратчайший срок после получения данного письма зарегистрироваться на сайте https://exams.mipt.ru/. При регистрации необходимо заполнить только поля, отмеченные звездочкой. Все остальные поля можно оставить пустыми. Если у вас уже есть аккаунт в exams/abitu, можете воспользоваться им.

Стразу после регистрации на главной странице системы вам необходимо найти следующий экзамен:

Пересдача экзамена по курсу «Теория и реализация языков программирования (ТРЯП)»

Под экзаменом необходимо нажать кнопку «Зарегистрироваться». В случае если появляется ошибка о необходимости вступить в мероприятие, необходимо переместиться в самый верх страницы и нажать кнопку «Принять участие» под надписью «Отборочные мероприятия МФТИ»

            Регистрация закрывается за 1 час до начала мероприятия.

При нажатии на кнопку «Зарегистрироваться» появится окно автоматической проверки вашего компьютера на предмет корректной работы в системе и браузер запросит доступ к экрану вашего компьютера. Необходимо нажать на мини-изображение вашего экрана и затем кнопку «поделиться». Процедура проверки может занимать до 3 минут.

Очень важно! Если в процессе регистрации или прохождения процедуры проверки у вас возникают технические сложности, необходимо написать в чат поддержки в Телеграм по ссылке, указанной в описании к экзамену на сайте. Обратите внимание, что плохие результаты проверки (когда есть пункты, отмеченные красным) могут не позволить вам успешно сдать экзамен.

Кроме того, обратите внимание, что, наилучшим образом в системе работает браузер Google Chrome последней версии в связке с ОС Windows.

В день экзамена 20.02.2021 за 5 минут до начала, т.е. в 09:25 (по Московскому времени) вам необходимо:

1) зайти на сайт https://exams.mipt.ru/;

2) осуществить вход в свой аккаунт. Вы увидите свое имя в верхнем правом углу страницы. 

Важно! Приготовьте зачетную книжку

3) в 09:30 (по Московскому времени) система автоматически перенаправит вас на страницу экзамена. Если в этого не произошло, необходимо перезагрузить страницу, найти экзамен «Пересдача экзамена по курсу «Теория и реализация языков программирования (ТРЯП)» и нажать кнопку «Начать экзамен».

Любые вопросы по экзамену вы можете писать в группу в Телеграм, которая указана в описание к экзамену на сайте exams.mipt.ru

 

Пересдача


02 Февраля 2021

Пересдача по ТРЯП состоится в субботу 20 февраля. Формат и тайминг такие же как и на основном экзамене.

 

Токены


22 Января 2021

Токены разосланы. Проверьте папку спам, если не получили. Если вы писали вторую контрольную, то ваш токен отличается от токена с контрольной приписыванием единицы в конец. Вход в тестирующую систему здесь.

 

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


21 Января 2021

Запись консультации доступна по ссылке.

 

Орг. информация об экзамене


20 Января 2021

Если вы хотите получить на экзамене оценку автоматом заполните, пожалуйста эту форму.

Если вы не писали вторую семестровую контрольную (не получили токен в прошлый раз), заполните эту форму.

Для получения автомата, нужно будет подключиться по ссылке по расписанию ниже. С собой нужно иметь зачётку (паспорт) и предварительно получить допуск в деканате, если пропустили одну из контрольных по уважительной причине. (И пройти лекторский контроль тем, у кого он есть).

Технические вопросы (не только проблемы с прокторингом) обсуждаются в чате прокторинга. Вступите в него обязательно. Не забудьте заблаговременно зарегестрироваться на экзамен в системе прокторинга http://exams.mipt.ru.

 

Тайминг экзамена

  • 9:30 подключаются студенты со штрафными задачами (не сдавшие задание)
  • 10:00 подключаются студенты без штрафных задач
  • 10:40-12:10 — Тест (время на написание теста 1:20, здесь и далее приблизительное время с учётом вероятных задержек)
  • 12:30-13:50 (возможно раньше или чуть позже, время выбрано с учётом возможной задержки начала теста) — хорошо написавшие тест студенты пишут вариант. 
  • 15:30 или позже — объявление результатов

Тайминг выставление оценок

Для получения оценки, нужно подключиться по ссылке в зум. (Для получения автомата информация приведена выше)

  • 12:30 Выставление оценок за экзамен по результатам теста (тем, кто не получает вариант).  
  • 13:00 Выставление оценок автоматом.
 

Инструкция Прокторингу


18 Января 2021

Тестирование проведения экзаменов по курсам «Алгебра логики, комбинаторика, теория графов (АЛКТГ)», «Дискретный анализ (ДА)», «Теория и реализация языков программирования (ТРЯП)», «Базы данных (БД)» а также сами эти экзамены пройдут с использованием дистанционных технологий системы прокторинга exams.mipt.ru.

Вам необходимо в кратчайший срок после получения данного письма зарегистрироваться на сайте https://exams.mipt.ru/. При регистрации необходимо заполнить только поля, отмеченные звездочкой. Все остальные поля можно оставить пустыми. Если у вас уже есть аккаунт в exams/abitu, можете воспользоваться им.

Стразу после регистрации на главной странице системы вам необходимо найти следующий экзамен (тестирование обязательно должны пройти все студенты):

Тестирование системы перед АЛКТГ, ДА, ТРЯП (МОУ)

Под экзаменом необходимо нажать кнопку «Зарегистрироваться». В случае если появляется ошибка о необходимости вступить в мероприятие, необходимо переместиться в самый верх страницы и нажать кнопку «Принять участие» под надписью «Отборочные мероприятия МФТИ»

            Регистрация закрывается за в момент начала данного тестирования, т.е. в 17:29 19.01.2021. Рекомендуется зарегистрироваться в момент получения данной инструкции.

При нажатии на кнопку «Зарегистрироваться» появится окно автоматической проверки вашего компьютера на предмет корректной работы в системе и браузер запросит доступ к экрану вашего компьютера. Необходимо нажать на мини-изображение вашего экрана и затем кнопку «поделиться». Процедура проверки может занимать до 3 минут.

Очень важно! Если в процессе регистрации или прохождения процедуры проверки у вас возникают технические сложности, необходимо написать в чат поддержки в Телеграм по ссылке, указанной в описании к экзамену на сайте. Обратите внимание, что плохие результаты проверки (когда есть пункты, отмеченные красным) могут не позволить вам успешно сдать экзамен.

Кроме того, обратите внимание, что, наилучшим образом в системе работает браузер Google Chrome последней версии в связке с ОС Windows.

После регистрации в тестовом событии рекомендуется сразу же зарегистрироваться на тот/те экзамен/экзамены, которые вам нужно сдавать из следующего списка. 

Экзамен по курсу «Алгебра логики, комбинаторика, теория графов (АЛКТГ)»

Экзамен по курсу «Дискретный анализ (ДА)»

Экзамен по курсу «Теория и реализация языков программирования (ТРЯП)»

Экзамен по курсу «Базы данных (БД)»

В день тестирования 19.01.2021 за 5 минут до начала, т.е. в 17:25 (по Московскому времени) вам необходимо:

1) зайти на сайт https://exams.mipt.ru/;

2) осуществить вход в свой аккаунт. Вы увидите свое имя в верхнем правом углу страницы. 

Важно! Приготовьте зачетную книжку

3) в 17:30 (по Московскому времени) система автоматически перенаправит вас на страницу экзамена. Если в этого не произошло, необходимо перезагрузить страницу, найти экзамен Тестирование системы перед АЛКТГ, ДА, ТРЯП (МОУ) и нажать «Приступить к решению»

 

Инструкции о том, что требуется сделать в процессе тестового мероприятия, вы получите у своего преподавателя.

Для осуществления входа непосредственно в основные экзамены, вам необходимо будет проделать шаги аналогичные тем, что вы предпринимали, чтобы зайти на «тестовое событие».

 

Консультация и прокторирнг


13 Января 2021

Предэкзаменационная консультация состоится в четверг 21 января в 18:30 по стандартной ссылке в зуме. Экзамен состоится в субботу 23 января и будет проходить в том же формате, что и вторая контрольная с помощью прокторинга. Тестирование прокторинга запланированно на 17:30 во вторник 19 января. Тайминг будет опубликован в скором времени.

P.S. Чтобы пройти лекторский контроль, свяжитесь со мной для выбора даты и времени.

 

Досрочный экзамен. Получение оценок автоматом


27 Декабря 2020

Досрочный экзамен по ТРЯП состоится во вторник 29 декабря в 17:00 (возможно мы уточним время подключения по фамилиям). На нём можно получить оценку автоматом. Для этого нужно подключиться по ссылке, показать зачётку, и получить подтверждение экзаменатора о том, что в списке доступных Вам оценок автоматом есть та, которую вы хотите получить.

Оценки автоматом можно также получить в день экзамена; при этом Вы будете должны оповестить о желании получить оценку автоматом заблаговременно до экзамена.

P.S. К.Б. Теймуразов предупреждает, что допускать в зум из зала ожидания будет только тех студентов, которых возможно идентифицировать по ФИО.

 

UPD. Если у Вас был пропуск контрольной по уважительной причине, то нужно его завизировать в деканате (направьте им письмо со справкой и попросите в ответ прислать допуск). Если уважительная причина нестандартная и была завизированна лектором (или семинаристом), то перешлите в деканат подтверждающее письмо и добавьте лектора (и семинариста) в копию (alex@rubtsov.su).    Кейс с дистанционной группой и первой контролльной (которую вся группа не писала) нам известен — его визировать не нужно.

 

Уточнено время подключения к досрочному экзамену:

  • 901: 17:00-17:15
  • 902: 17:15-17:30
  • 903: 17:30-17:45
  • 904: 17:45-18:00
  • 905: 18:00-18:15
  • 906: 18:15-18:30
  • 907: 18:30-18:45
  • 908: 18:45-19:00
  • 909(и закрывающие академ. разницу/ переводники): 19:00-19:20. 

 

P.P.S. Список на лекторский контролль появится в этом посту позже. Лекторский контроль — это общий разговор по курсу, который проверяет владение базовым материалом. В случае, если студент смог поддержать разговор, то оценка остаётся без изменнеий, если нет — оценка будет понижена. Лекторский контролль можно пройти перед экзаменом по ТРЯП  (после последнего экзамена перед ТРЯП) во время, согласованное отдельно. Можно выбрать и иное время по согласованию.

Лекторский контроль (список может пополниться)

  • Дронь Андрей
  • Змушко Филипп
  • Лескевич Даниил
  • Халько Илья
  • Истомин
  • Жаров
 

Критерии проверки


14 Декабря 2020

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

 

Предварительные результаты работы в семестре (901+)


10 Декабря 2020

Публикую предварительные результаты работы в семестре.

Формат: ФИО; оценка по формуле за работу в семестре; средняя оценка за две КР

Сдали задание, оценка за вторую КР (и средняя) может повысится после проверки второй части

  • Баранов Виталий Юрьевич 6,28 4,38
  • Белопольских Даниил Дмитриевич 6,70 4,00
  • Крыжановская Дарья Константиновна 5,80 4,75
  • Нистюк Василий Анатольевич 5,40 3,65
  • Шамбер Элина 7,68 4,88

Сдали задание, оценка за вторую КР (и средняя) не могут повысится

  • Высоких Дмитрий Константинович 3,05 5,75
  • Зарезина Елизавета Михайловна 6,35 4,75
  • Зятьков Михаил Васильевич 6,12 4,59
  • Кормщикова Валерия Александровна 5,68 4,42
  • Латарцев Павел 5,05 3,25
  • Торшина Ангелина 5,28 3,92

 

Сдали задание, но за одну из семестровых КР балл ниже 3,0 (автомат не доступен)

  • Никишин Максим Андреевич
  • Турнова Мария Антоновна

 

Не сдали задание, автомат доступен (пока со штрафом), оценка за вторую КР (и средняя) не могут повысится

  • Хожаев Илья Сергеевич 1,34 4,21

Не сдали задание, автомат недоступен

  • Зинец Анастасия Николаевна 
  • Маркелова Анна Михайловна 
  • Зеленова Екатерина 
  • Захарин Богдан Петрович 
  • Топоровский Владислав Олегович 

План на эндшпиль

Дальнейшие действия следующие. Если вы сдали задание и собираетесь получить в качестве оценки автоматом текущую оценку (за работу в семестре или среднюю за две КР, округлённую арифметически), то делать ничего не нужно. Также ничего не нужно делать, если вы не сдали задание и вы не собираетесь его сдавать.

Небольшое повышение оценки может произойти за выходные, когда я более внимательно посмотрю ДЗ. Также оценки могут вырасти у тех, кто писал вторую часть КР — мы постараемся проверить её как можно скорее и сообщим результаты.   

Если вы собираетесь сдавать задание, то нужно написать мне письмо — я пришлю листок, который нужно решить для беседы по заданию. Беседа по заданию будет состоять в сдаче листка и ответов на элементарные вопросы по курсу. Если вы выдерживаете беседу, то сдаёте задание (или получаете на одну штрафную задачу меньше, если у вас большой штраф). Точное значение штрафов опубликую на выходных.

Если вы хотите поднять оценку за работу в семестре, то нужно написать мне письмо — я либо пришлю листок (для тех у кого оценка достаточно высокая, или если желающих будет мало), либо назначу вам онлайн-контрольную, на которую дам вариант, по результатам решения которого реализуется один из следующих вариантов: а) оценка останется без изменений; б) оценка повысится и на этом процесс подъёма закончится; в) оценка повысится и вы сможете получить листок на повышение, если захотите. Контрольную буду проводить в понедельник вечером (если у вас нет других сдач), так что не затягивайте. Обращаю внимание на то, что в случае желания поднять оценку за работу в семестре, вы стартуете с текущей оценки за работу в семестре, а не с максимальной из двух оценок. 

Завтра проводить семинар не вижу смысла — будем считать, что он перенесён на понедельник, когда будет контрольная. Тем не менее в 10:45 я выйду онлайн, чтобы ответить на орг. вопросы, если они есть, также готов ответить на содержательные вопросы по курсу, если они вдруг появятся.

На выходных опубликую уточняющую информацию по грядущей неделе, учту бонусные баллы за ДЗ и опубликую окончательные штрафные баллы.

P.S. Если вдруг вы считаете, что я допустил техничускую ошибку в результатах, опубликованных выше — сообщите.

 

Орг. информация по контрольной


06 Декабря 2020

Вторая семестровая контрольная будет проходить завтра с помощью прокоринга exams.mipt.ru и в тестирующей системе на этом сайте. Для доступа к прокторингу необходимо зарегистрироваться и на сайте exams.mipt.ru и на событие "СЕМЕСТРОВАЯ КОНТРОЛЬНАЯ РАБОТА ПО КУРСУ «ТЕОРИЯ И РЕАЛИЗАЦИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ (ТРЯП)»". С последним важно не затягивать регистрация закрывается за 15 минут до начала, т.е. в 9:45.

Токены для доступа в тестирующую систему были разосланы по почте тем, кто писал контрольную по алгоритмам в прошлом году и тем, ето заполнил форму до вчерашнего вечера. Для тех, кто заполнил форму позже, я сделаю токены сегодня вечером и разошлю их. Если что-то пойдёт не так и вы не получите токен по почте, ничего страшного — у каждого проктора будет список токенов и он сообщит ваш токен. Главное, заполнить форму.

В случае, если на контрольной что-то идёт не так (в первую очередь с прокторингом) об этом нужно писать в общий чат в телеграмме, в который нужно добавиться всем! Инструкция по прокторингу будет приведена ниже.

Тайминг контрольной

  • 09:55 Подключаетесь к exams.mipt.ru, проверяете что всё работает или сообщаете в  чат о проблеме и ждёте звонка проктора. К сожалению из-за разных технических проблем ждать звонка возможно придётся долго, от компьютера можно отходить вплоть до начала теста. За это время проверьте, что ваша камера расположена хорошо: в идеале должен быть виден ваш стол и бумага на которой вы пишете. Нужно показать в камеру зачётку или паспорт; сделайте это даже до звонка проктора (это останется в записи).
  • 10:45 (±сдвиг) Начало теста в тестирующей системе. Тест будет длиться 1:20, нельзя пользоваться вспомогательными материалами.
  • 12:05 (±сдвиг) Окончание теста. Результаты будут оглашены почти многовенно, дальше для кого-то контрольная на этом закончится, а для кого-то будет перерыв 10 минут перед второй частью.
  • 12:20 Начало второй части. Вторая часть — письменная работа, до которой будут допущены студенты, показавшие хорошие результаты на первой части (оценка допущенных до второй части не может оказаться ниже удовлетворительной). Вторую часть нужно выполнить на чистой бумаге, после окончания второй части будет дано 10 минут на сканирование (фотографирование) работы и её отправку. 
  • 13:40 10 минут на сканирование (фотографирование) работы и её отправку. Вам необходимо отправить решение в виде pdf с правильным порядком и правильной ориентацией листов на почту fl@rubtsov.su. Я делаю pdf на телефон с помощью приложения Genius Scan (есть и под iOS и под Android) и могу рекомендовать эту программу по крайней мере под iOS. 

Инструкция от прокторинга

Семестровая контрольная работа по курсу «Теория и реализация языков программирования (ТРЯП)» пройдет с использованием дистанционных технологий системы прокторинга exams.mipt.ru.

Вам необходимо в кратчайший срок после получения данного письма зарегистрироваться на сайте https://exams.mipt.ru/. При регистрации необходимо заполнить только поля, отмеченные звездочкой. Все остальные поля можно оставить пустыми.

Стразу после регистрации на главной странице системы вам необходимо найти следующий экзамен:

Семестровая контрольная работа по курсу «Теория и реализация языков программирования (ТРЯП)»

Под экзаменом необходимо нажать кнопку «Зарегистрироваться». В случае если появляется ошибка о необходимости вступить в мероприятие, необходимо переместиться в самый верх страницы и нажать кнопку «Принять участие» под надписью «Отборочные мероприятия МФТИ»

При нажатии на кнопку «Зарегистрироваться» появится окно автоматической проверки вашего компьютера на предмет корректной работы в системе и браузер запросит доступ к экрану вашего компьютера. Необходимо нажать на мини-изображение вашего экрана и затем кнопку «поделиться». Процедура проверки может занимать до 3 минут.

Очень важно! Если в процессе регистрации или прохождения процедуры проверки у вас возникают технические сложности, необходимо написать в чат поддержки в Телеграм по ссылке, указанной в описании к экзамену на сайте. Обратите внимание, что плохие результаты проверки (когда есть пункты, отмеченные красным) могут не позволить вам успешно сдать экзамен.

В день контрольной 07.12.2020 за 5 минут до начала, т.е. в 09:55 (по Московскому времени) вам необходимо:

1) зайти на сайт https://exams.mipt.ru/;

2) осуществить вход в свой аккаунт. Вы увидите свое имя в верхнем правом углу страницы. 

Важно! Приготовьте зачетную книжку

3) в 10:00 (по Московскому времени) система автоматически перенаправит вас на страницу экзамена. Если в этого не произошло, необходимо перезагрузить страницу, найти экзамен Семестровая контрольная работа по курсу «Теория и реализация языков программирования (ТРЯП)» и нажать кнопку «Начать экзамен».

Любые вопросы по экзамену вы можете писать в группу в Телеграм, которая указана в описание к экзамена на сайте exams.mipt.ru

 

 

Формат второй семестровой контрольной


01 Декабря 2020

Вторая семестровая контрольная будет состоять из двух частей: тестовая часть и содержательные задачи. До второй части допускаются только студенты, хорошо выполнившие тестовую часть. Если тестовая часть выполнена недостаточно хорошо, то за контрольную выставляется оценка «удовлетворительно» или «неудовлетворительно». Начало контрольной в понедельник 7 декабря в 10:45. Обе части контрольной планируется дать на 1:20 с перерывом 15 минут между частями (оценки за тестовую часть будут вычислены автоматически).

Проверка тестовых задач будет осуществляться с помощью тестирующей системы. Я разослал токены по email-адресам, которые у меня были с прошлого года (проверьте папку спам!). Если вы писали в прошлом году тест по алгоритмам и не получили письмо, то подождите полдня — если письмо не придёт заполните форму. Если вы не писали в прошлом году тест по алгоритмам — сразу заполняйте форму. 

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

 

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


26 Ноября 2020

Вторая семестровая контрольная состоится в понедельник 7 декабря. Организационная информация будет опубликованна в скором времени.

 

Контрольная будет проходить с помощью прокторинга http://exams.mipt.ru. Большинство из вас уже хорошо знакомо с этой системой, но лучше лишний раз проверить, всё ли у вас работает. Для этого можно подключиться к тестированию проведения контрольной по АЛКТГ в одну из пятниц 27 ноября или 4 декабря с 18:30 до 20:00. Связываться при этом с проктором не обязательно. Если вы не работали ранее с этой системой прокторинга, то пройдите полноценное тестирование системы в рамках тестирования для АЛКТГ (см. информацию на странице АЛКТГ).

 

Вторую контрольную пишут все студенты. Те, кто не писал первую контрольную из-за обучения на дистанте или по уважительной причине. Оценка автоматом в этом случае формируется следующим образом: 60% оценка семинариста, 40% — оценка за КР-II. Последяя должна быть не ниже, чем на 3.0, иначе получения оценки автоматом невозможно. Также есть возможность просто получить оценку семинариста как автомат (в случае, если оценка за КР-II не ниже 3.0).

 

Разослал проверку КР-I


26 Ноября 2020

Я разослал проверку первой семестровой контрольной на адреса, полученные от кафедры. Если Вы не получили результаты проверки — напишите мне письмо.

 

Конструкторы LR-анализаторов


21 Ноября 2020

Ссылки на материалы с лекции размещены рядом с ссылкой на запись лекции. При построении таблицы анализатора и графа автомата Кнута я пользовался пакетом Parsing Table Generator for Compiler Theory, руководство к пакету по ссылке. Рекомендую его попробовать.  

Для проверки и более наглядного изучения есть конструктор анализаторов.  По умолчанию все нетерминалы — заглавные буквы, все терминалы — строчные. Правила записываются в виде "A -> a|B". Каждое правило, быть может с разделителями, начинается с новой строки. Пустое слово = e.

 

Если запускать программу под IE (особенно десятилетней давности), то можно, при некоторой удаче, увидеть дерево разбора анализируемого слова. Под остальными браузерами придётся включать воображение и соединять точки.

P.S. Спустя 10 лет использования в учебных целях в последнем конструкторе нашли ошибку, так что будьте бдительными. На достаточно простых грамматиках конструктор работает верно 

 

Семинар 13.12


12 Ноября 2020

Семинар 13.12 пройдёт по расписанию в зуме — используйте стандартную ссылку для лекций. 

 

Расписание показа работ второй семестровой КР


10 Ноября 2020

Среда 11.11.20, 18.30, 412 ГК

907 Алиев Даниял Камилевич
903 Атласова Екатерина Сергеевна
907 Бердин Артём Андреевич
904 Гайнутдинова Диляра Ильсияровна
902 Гришанов Никита Вадимович
902 Дергачев Дмитрий Игоревич
904 Карначев Сергей Леонидович
906 Кузьминов Александр Александрович
908 Макаров Глеб Евгеньевич
904 Мельникова Елена Андреевна
905 Меркулова Маргарита Дмитриевна
909 Мурадов Тимур Русланович
901 Никишин Максим Андреевич
907 Потурило Евгений Николаевич
904 Салихов Айрат Ильгамович
904 Тураев Виктор Андреевич
903 Федосеев Марк Андреевич
906 Храмов Артем Егорович
904 Хроменков Кирилл Александрович
907 Чумаченко Арина Сергеевна
903 Шаймарданова Диана Ришатовна

Среда 11.11.20, 18.30, 411 ГК

903 Алтынов Алексей Александрович
908 Глазунова Ирина Алексеевна
905 Зайченкова Екатерина Евгеньевна
901 Зинец Анастасия Николаевна
905 Колесников Сергей Владимирович
903 Конин Георгий Олегович
904 Кулигин Дмитрий Александрович
906 Куляпин Александр Алексеевич
901 Латарцев Павел Васильевич
904 Лопатин Илья Александрович
906 Лубин Николай Константинович
904 Ненашев Николай Андреевич
903 Оверчук Анна Дмитриевна
906 Петрушина Ксения Евгеньевна
909 Сенькин Николай Алексеевич
908 Хайдаров Дустмухаммад Илхомович
901 Хожаев Илья Сергеевич
908 Шамбер Элина Владиславовна
909 Широкова Ирина Сергеевна
902 Шушко Андрей Игоревич
773 Захарин Богдан
??? Торшина А. С.

Среда 11.11.20, 18.30, 903 КПМ

902 Алферов Илья Сергеевич
903 Апокин Сергей Антонович
905 Ахмедов Эльдар Шамилович
901 Белопольских Даниил Дмитриевич
901 Высоких Дмитрий Константинович
902 Заречнева Елизавета Никитична
908 Иевлев Артем Александрович
905 Коврижных Дмитрий Юрьевич
901 Кормщикова Валерия Александровна
909 Лунев Леонид Александрович
908 Миронова Наталья Сергеевна
902 Нечитайло Лев Геннадьевич
901 Нистюк Василий Анатольевич
903 Остеров Никита Владиславович
908 Селезнев Григорий Игоревич
908 Ставцев Никита Романович
907 Степанюк Денис Александрович
904 Стрепетов Петр Александрович
908 Сыроваткин Степан Михайлович
909 Телякова Екатерина Алексеевна
905 Шлотова Надежда Евгеньевна
902 Гасанов Тимур

Пятница 13.11.20, 18.30, 903 КПМ   Новая дата показа будет объявлена позже

908 Акшаев Никита Игоревич
901 Баранов Виталий Юрьевич
904 Зайцева Алла Сергеевна
906 Захаров Артемий Сергеевич
906 Кадыгров Евгений Владиславович
909 Касапенко Наталья Алексеевна
902 Корнилов Никита Максимович
908 Кудряшов Антон Александрович
909 Людвиковский Евгений Владиславович
901 Маркелова Анна Михайловна
906 Моложавенко Александр Александрович
909 Мясникова Арина Андреевна
909 Никишин Георгий Сергеевич
909 Панышев Александр Сергеевич
908 Рубаненко Валерий Викторович
905 Рябых Владислав Юрьевич
908 Садыков Сергей Игоревич
909 Тихонова Мария Валерьевна
905 Тумасян Артём Вадимович
909 Усманов Абубакр Алишерович
908 Филонов Роман Сергеевич

 

Критерии проверки


09 Ноября 2020

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

 

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


07 Ноября 2020

Семестровая контрольная в понедельник пройдёт с 9:00 до 12:00. На контрольной нельзя пользоваться никакими вспомогательными материалами.

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

Аудитория определяется по первой букве вашей фамилии:

  • А-К: 115 КПМ
  • Л-О, Ю-Я: 123 ГК
  • П-Э: 110 КПМ 

 

 

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


21 Октября 2020

Первая семестровая контрольная запланированна на понедельник 9 ноября. Мы ещё ожидаем подтверждения брони аудиторий. Вариант для подготовки доступен по ссылке

 

Куртка


18 Сентября 2020

Забытая куртка в 430 ГК находится в гардеробе ГК

 

Сдача домашних заданий (901+)


04 Сентября 2020

Домашние задания нужно отправлять на адрес homework@rubtsov.su до 23:00 четверга (перед семинаром). Все задания принимаются только в формате $\TeX$. Прикрепите к письму два файла: pdf и tex-исходник. Не забудьте указать вашу фамилию и группу в pdf-файле! Не архивируйте файлы!

Почему тех? Во-первых, через пару лет вам уже предстоит написание диплома и боль- шинство дипломов так или иначе связаны с математикой, и уж точно в подавляющем большинстве из них присутствуют формулы. Tех – довольно гибкий инструмент для работы с математическими текстами, он является стандартом для публикаций в крупных журналах, не зависит от платформы и с ним довольно удобно работать. Даже в переписках в сети, уже принято записывать математические формулы в стиле теха и большинство профильных сайтов поддерживают конвертацию на лету из теха в формулы. Для знакомства с техом на примерах, можно использовать исходники заданий прошлых лет по курсу ТРЯП.

В качестве литературы по теху, я рекомендую книгу Львовского и статью с набором примеров Воронцова, а также wiki-учебник. Так же я нашёл видеоуроки, возможно они окажутся полезны.

Техом пользуется столько людей, что практически все потребности, которые возникают в процессе написания научных текстов, уже удовлетворены. Например, для построения графов автоматов есть множество пакетов. Я предпочитаю пакет tikz.

В качестве редактора, я рекомендую использовать Texmaker. Это довольно удобный кроссплатформенный редактор. Есть также множество онлайн-редакторов — мне понравился Overleaf.

Пожалуйста, присылайте на адрес «homework» только домашние задания. Отправляйте вопросы и обычные письма на адрес alex@rubtsov.su.

 

Не можете войти в zoom? Discord


02 Сентября 2020

Онлайн на лекции в zoom могут присутствовать только 100 человек, поэтому я также буду транслировать лекцию в Discord, где нет ограничения по численности. Чтобы не было путаницы с чатами, я сделал отдельный чат в телеграме — пожалуйста, зайдите в него и задавайте вопросы там.

 

Лекции в zoom


26 Августа 2020

Я буду читать лекции в режиме онлайн через zoom по расписанию занятий (четверг 12:20-13:45), после чего буду выкладывать запись лекции. Постоянная ссылка на zoom-конференцию: https://us02web.zoom.us/j/85886366224.