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

Бакалавриат 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|

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