"Теория и реализация языков программирования (конспекты)"

конспекты занятий по курсу

«Теория и реализация
языков программирования»

Занятие 1. Цели и задачи курса. Формальные языки и грамматики. Примеры и определение формальной грамматики. Виды грамматик.

Занятие 2. Регулярные языки и способы их задания. Регулярные множества и выражения (РВ). Конечные автоматы (КА). Преобразования КА « ПГ ® РВ.

Занятие 3. Определённые и неопределённые КА (ДКА и НКА). Преобразования
РВ ® НКА ® ДКА, РВ ® ДКА.

Занятие 4. Построение дополнения РЯ. Минимизация ДКА. Полный (всюду определённый) ДКА.

Занятие 5. Условия регулярности языка. Лемма о накачке. Примеры задач на правильные языки.

Приложение к занятию 5. Теорема Майхилла — Нероуда (определяет необходимое и достаточное условия регулярности языка).

Занятие 6. Пример на преобразование МПА-КСГ.

Занятие 7. КЗ-грамматики. Пример решения задачи.

II часть. Приложения ТФЯ при разработке компиляторов

Занятие 8. Предсказывающий разбор сверху вниз.

Приложения

Приложение А. Готовимся к контрольной (некоторые примеры).

Приложение Б. Подборка экзаменационных задач за 2009 г. (htm)

Подборка экзаменационных задач за 2009 г. (pdf)

Приложение В. Что такое автоматное программирование (введение).

Приложение Г. Наброски к решению экзаменационных задач за 2012 г. (htm)

То же самое (pdf)