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

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

 

 

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

Занятие 2.  Примеры и определение формальной грамматики. Виды грамматик.

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

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

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

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

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

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

 

 

II часть. Приложения в компиляции

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

 

Приложения

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

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

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

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

Приложение Г. Конспекты и задания по курсу «ТРЯП» А.А. Рубцова

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

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

 

 

 

 

 

 

 

Наверх