Бакалавриат 2022/2023

Формальные языки и трансляции

Статус: Курс по выбору (Программная инженерия)

Направление: 09.03.04. Программная инженерия

Кто читает: Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

Где читается: Факультет компьютерных наук

Когда читается: 2-й курс, 3, 4 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для своего кампуса

Преподаватели: Игнатьев Валерий Николаевич, Шимчик Никита Владимирович

Язык: русский

Кредиты: 4

Контактные часы: 60

Программа дисциплины

Аннотация

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

Цель освоения дисциплины

• Приобретение теоретических знаний, и практических умений и навыков в области формальных языков и трансляций.

Планируемые результаты обучения

• Знать задачи, принципы, методы и подходы теории формальных языков и трансляций;

Содержание учебной дисциплины

• Слова и языки. Конечные автоматы
• Детерминированные конечные автоматы
• Полные ДКА
• Контекстно-свободные грамматики, введение
• Нормальная форма Хомского. Лемма о разрастании
• Автомат с магазинной памятью

Элементы контроля

• Экзамен
• Ejudge
• Контрольная работа
• Пятиминутки

Промежуточная аттестация

• 2022/2023 учебный год 4 модуль
  5-балльная оценка__|___2 _____|_3__|_4__|_ 5___| 10-балльная оценка _|_1_|_2_|_3_|4_|5_|6_|7_|8_|9_|10| % макс баллов_____|_0_|30_|40_|50_|55|60|65|70|80|95| автомат_________|17_|25__|34_|43_|47|51|55| 60|68|81| после экзамена____|23_|34__|46_|58_|63|69|74|81|92|109|

Список литературы

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

• Теория и реализация языков программирования : учебное пособие / В. А. Серебряков, М. П. Галочкин, Д. Р. Гончар, М. Г. Фуругян. — 2-е изд. — Москва : ИНТУИТ, 2016. — 372 с. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/100529 (дата обращения: 00.00.0000). — Режим доступа: для авториз. пользователей.

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

• Компиляторы: принципы, технологии и инструменты, Ахо, А. В., 2011

Авторы

• Петрухина Анастасия Сергеевна