Содержание
Теория и реализация языков программирования
Теория и реализация языков программирования 1
0. Лекция: Предисловие 2
Предисловие. 2
1. Лекция: Введение. 3
Место компилятора в программном обеспечении. 3
Структура компилятора. 4
2. Лекция: Языки и их представление. 6
Алфавиты, цепочки и языки. 6
Рекомендуемые материалы
Представление языков. 8
Грамматики. 10
Машины Тьюринга. 18
Связь машин Тьюринга и грамматик типа 0. 22
Линейно-ограниченные автоматы и их связь с контекстно-зависимыми грамматиками 25
3. Лекция: Лексический анализ. 29
4. Лекция: Синтаксический анализ. 57
Контекстно-свободные грамматики и автоматы с магазинной памятью.. 57
Преобразования КС-грамматик. 64
Разбор сверху-вниз (предсказывающий разбор) 67
LL(k)-грамматики. 76
Следствия определения LL(k)- грамматики. 77
Разбор снизу-вверх типа сдвиг- свертка. 83
5. Лекция: Элементы теории перевода. 98
6. Лекция: Проверка контекстных условий. 112
Описание областей видимости и блочной структуры.. 113
Занесение в среду и поиск объектов. 114
7. Лекция: Организация таблиц символов. 119
8. Лекция: Промежуточное представление программы.. 130
9. Лекция: Генерация кода. 142
10. Лекция: Системы автоматизации построения трансляторов. 194
Введение. 198
Формальные свойства. 202
Проверка на зацикленность. 205
Простой язык программирования. 209
Обсуждение. 214
Дополнительные материалы: Атрибутные грамматики. 218
Введение. 218
Определение атрибутных грамматик. 218
Атрибутированное дерево разбора. 219
Незацикленные атрибутные грамматики. 219
Вычислительные последовательности и корректность. Определение визита. 220
Чистые многовизитные грамматики. 221
Абсолютно незацикленные атрибутные грамматики. 222
Простые многовизитные атрибутные грамматики. 225
Одновизитные атрибутные грамматики. 226
Многопроходные грамматики. 227
Дополнительные материалы: Задачи по разделам курса 233
Языки и их представление. 233
4 - Основы технологии микробиологии - лекция, которая пользуется популярностью у тех, кто читал эту лекцию.
Лексический анализ. 239
Лексический анализ. 241
Синтаксический анализ. 242
Элементы теории перевода. 251
Генерация кода. 252
1.