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

Паспорт

• Где и когда. III семестр программы 09.03.01 «Информатика и вычислительная техника», профиль «Прикладная математика, компьютерные науки и инженерия», набор 2025.
• Объём. 135 часов, 3 з.е.: 60 аудиторных часов (30 лекций и 30 семинаров), 45 часов самостоятельной работы и 30 часов на подготовку и сдачу экзамена.
• Кафедра. Кафедра алгоритмов и технологий программирования.
• Преподаватель. Не указан на доступной странице курса.
• Итоговый контроль. Экзамен в III семестре.

Содержание опубликованной программы

Цель курса, указанная кафедрой, — познакомить с трансляторами и компиляторами. На странице кафедры перечислены следующие темы:

1. Связь формальных языков и грамматик.
2. Классификация языков и грамматик.
3. Регулярные языки.
4. Детерминированные конечные автоматы.
5. Недетерминированные конечные автоматы.
6. Машины Тьюринга.
7. Контекстно-свободные грамматики.
8. Контекстно-зависимые грамматики.
9. Нисходящие анализаторы.
10. Восходящие анализаторы.
11. \(LL(k)\)-грамматики.
12. \(LR(k)\)-грамматики и их использование в современных компиляторах.

Оценивание

Открытая БРС с баллами и порогами на странице кафедры не опубликована.

Источники и актуальность

Страница курса кафедры и учебный план 09.03.01, набор 2025.