
- •Введение
- •1 Предварительные математические сведения
- •1.1 Множества
- •1.2 Операции и отношения
- •1.2.1 Операции над множествами
- •1.2.2 Отношения на множествах
- •1.3.1 Цепочки
- •1.3.2 Операции над цепочками
- •1.4.2 Операции над языком
- •1.5 Алгоритмы
- •1.5.1 Частичные алгоритмы
- •1.5.2 Всюду определенные алгоритмы
- •1.5.3 Рекурсивные алгоритмы
- •1.5.4 Задание алгоритмов
- •1.5.5 Проблемы
- •1.6 Некоторые понятия теории графов
- •1.6.1 Ориентированные графы
- •1.6.2 Ориентированные ациклические графы
- •1.6.3 Деревья
- •1.6.4 Упорядоченные графы
- •2 Введение в компиляцию
- •2.1 Задание языков программирования
- •2.2 Синтаксис и семантика
- •2.3 Процесс компиляции
- •2.4 Лексический анализ
- •2.5 Работа с таблицами
- •2.6 Синтаксический анализ
- •2.7 Генератор кода
- •2.8 Оптимизация кода
- •2.9 Исправление ошибок
- •2.10 Резюме
- •3 Теория языков
- •3.1 Способы определения языков
- •3.2 Грамматики
- •3.3 Грамматики с ограничениями на правила
- •3.4 Распознаватели
- •3.5.1 Определения
- •3.8 Конечные автоматы и регулярные множества
- •3.9.1 Постановка задачи
- •3.10 Контекстно-свободные языки
- •3.10.2 Преобразование КС-грамматик
- •3.10.2.1. Алгоритм проверки пустоты языка
- •3.10.2.2. Алгоритм устранения недостижимых символов
- •3.10.2.3. Алгоритм устранения бесполезных символов
- •3.10.2.5. Алгоритм устранения цепных правил
- •3.10.3 Грамматика без циклов
- •3.10.4 Нормальная форма Хомского
- •3.10.5 Нормальная форма Грейбах
- •3.11 Автоматы с магазинной памятью
- •3.11.1 Основные определения
- •4.1 LL(k)-грамматики
- •4.2.2 Алгоритм поиска направляющих символов
- •4.2.2.1 Множество предшествующих символов
- •4.2.2.2 Множество последующих символов
- •4.2.2.3 Множество направляющих символов
- •4.3 LL(1)-таблица разбора
- •4.3.1 Построение таблицы
- •5 Синтаксический анализ снизу вверх
- •5.1 LR(k)-грамматики
- •5.2 LR(1)-грамматики
- •5.3 LR(1)-таблица разбора
- •5.3.1 Состояния анализатора
- •5.3.2 Построение таблицы
- •5.3.3 LR-конфликты
- •5.3.4 Разбор цепочки по таблице
- •5.4 Сравнение LL- и LR-методов разбора
- •6 Включение действий в синтаксис
- •6.2 Работа с таблицей символов
- •7 Проектирование компиляторов
- •7.1 Число проходов
- •7.2 Таблицы символов
- •7.2.2 Бинарное дерево
- •7.4.1 Стек времени прогона
- •7.4.2 Методы вызова параметров
- •7.4.3 Обстановка выполнения процедур
- •8 Генерация кода
- •8.1 Генерация промежуточного кода
- •8.2 Структура данных для генерации кода
- •8.3.1 Присвоение
- •8.3.2 Условные зависимости
- •8.3.3 Описание идентификаторов
- •8.3.4 Циклы
- •8.3.5 Вход и выход из блока
- •8.3.6 Прикладные реализации
- •8.4 Проблемы, связанные с типами
- •8.5 Время компиляции и время прогона
- •9 Исправление и диагностика ошибок
- •9.1 Типы ошибок
- •9.2 Лексические ошибки
- •9.3 Ошибки в употреблении скобок
- •9.4 Синтаксические ошибки
- •9.4.1 Методы исправления синтаксических ошибок
- •9.4.2 Предупреждения
- •9.4.3 Сообщения о синтаксических ошибках
- •9.5 Контекстно-зависимые ошибки
- •9.6 Ошибки, связанные с употреблением типов
- •9.7 Ошибки, допускаемые во время прогона
- •9.8 Ошибки, связанные с нарушением ограничений
- •Заключение
- •Список литературы
- •Глоссарий

30
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
Рисунок 1.10 – Пример ациклического графа
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
Вершина, степень которой по входу равна 0, называется базовой. Вер-
шина, степень которой по выходу равна 0, называется листом (или концевой вершиной). Если (a, b) – дуги ациклического графа, то a называется прямым предком b, а b – прямым потомком a.
1.6.3 ДЕРЕВЬЯ
Деревом T называется ориентированный граф G = (A, R) со специаль-
ной вершиной r A, называемой корнем, у которого:
1)степень по входу r равна 0;
2)степень по входу всех остальных вершин дерева T равна 1;
3)каждая вершина достижима из r.
Поддеревом дерева T = (A, R) называется любое дерево T' = (A', R'), у
которого:
1)A' не пусто и содержится в A;
2)R' = (A'A') R;
3)ни одна вершина A – A' не является потомком вершины A'.
· · · · · · · · · · · · · · · · · · · · · · · · |
|
Пример · · · · · · · · · · · · · · · · · · · · · · · |
|
|
|
Пример дерева и поддерева приведен на рис. 1.11.

31
1 r
2 |
3 |
r' |
Поддерево
4 5 6
Рисунок 1.11 – Пример дерева и поддерева
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
1.6.4 УПОРЯДОЧЕННЫЕ ГРАФЫ
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
Упорядоченным графом называется пара (A, R), где A –
множество вершин, а R – множество линейно упорядоченных списков дуг, каждый элемент которого имеет вид ((a, b1), (a, b2),
…, (a, bn)).
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
· · · · · · · · · · · · · · · · · · · · · · · · |
|
Пример · · · · · · · · · · · · · · · · · · · · · · · |
|
|
|
Пример упорядоченного графа приведен на рис. 1.12.
a |
b |
c
Рисунок 1.12 – Упорядоченный граф
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·

32
Этот элемент показывает, что из вершины a выходит n дуг, причем первой из них считается дуга, приходящая в b1, второй – в b2 и т.д.
Разметкой упорядоченного графа G = (A, R) назовем такую пару функ-
ций f и g, что:
1)f : A→S для некоторого множества S (f помечает вершины);
2)g отображает R в последовательность символов из некоторого мно-
жества T так, что образом списка ((a, b1), (a, b2), …, (a, bn)) является последовательность из n символов (помеченные дуги).
· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
Контрольные вопросы по главе 1
·· · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
1.Операции над множествами.
2.Отношения.
3.Замыкание отношений.
4.Отношения порядка.
5.Отображения.
6.Множества цепочек.
7.Операции над цепочками.
8.Языки.
9.Операции над языками.
10.Итерация языка.
11.Гомоморфизм.
12.Алгоритмы.
13.Частичные алгоритмы.
14.Полные алгоритмы.
15.Рекурсивные алгоритмы.
16.Задание алгоритмов.
17.Ориентированные графы.
18.Ориентированные ациклические графы.
33
19. Деревья. Упорядоченные графы.