Часть I. Основные понятия и алгоритмы
ГЛАВА 1. ДЕРЕВЬЯ И ИХ СВОЙСТВА
§1. Введение и основные определения
§2. Представление деревьев
§3. Перечисление и подсчет деревьев
§4. Библиографический комментарий
Список литературы
ГЛАВА 2. МОДЕЛИ ВЫЧИСЛЕНИЙ, СЛОЖНОСТЬ И ОСНОВНЫЕ АЛГОРИТМЫ
§1. Введение и язык представления алгоритмов
§2. Обходы графов и деревьев в глубину и ширину
§3. Генерация деревьев
§4. Библиографический комментарий
Список литературы
ГЛАВА 3. КАРКАСЫ
§1. Задача об отыскании оптимального каркаса
§2. Алгоритмы перечисления всех каркасов
§3. Поиск каркасов с заданными свойствами
§4. Библиографический комментарий
Список литературы
Часть II. Трансляция и преобразование программ
ГЛАВА 4. СТРУКТУРНЫЕ ДЕРЕВЬЯ
§1. Введение и основные определения
§2. Иерархические представления регуляризуемых уграфов
§3. Гамачное представление уграфов
§4. Выявление отношения обязательного предшествования
§5. Библиографический комментарий
Список литературы
ГЛАВА 5. ИЗОМОРФИЗМ, УНИФИКАЦИЯ И СИСТЕМЫ ПЕРЕПИСЫВАНИЯ
ТЕРМОВ
§1. Изоморфизм деревьев
§2. Задача унификации
§3. Системы переписывания термов
§4. Библиографический комментарий
Список литературы.
ГЛАВА 6. СИНТАКСИЧЕСКИЕ ДЕРЕВЬЯ
§1. Синтаксис языка и задача синтаксического анализа
§2. Порождающие грамматики
§3. Синтаксический анализ
§4. Перевод и конструкторы анализаторов
§5. Библиографический комментарий
Список литературы.
Часть III. Поиск и хранение информации
ГЛАВА 7. ИНФОРМАЦИОННЫЕ ДЕРЕВЬЯ
§1. Балансированные деревья
§2. Многомерные деревья, или --деревья
§3. Библиографический комментарий
Список литературы.
ГЛАВА 8. ДЕРЕВЬЯ ДЛЯ МНОГОУРОВНЕВОЙ ПАМЯТИ
§1. -деревья
§2. Обобщения -деревьев
§3. Многомерные -деревья
§4. Деревья множественных атрибутов
§5. Библиографический комментарий.
Список литературы.
Список дополнительной литературы
Предметный указатель