Оглавление

Предисловие

Часть 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. Многомерные деревья, или k-d-деревья; §3. Библиографический комментарий. Список литературы.

ГЛАВА 8. ДЕРЕВЬя ДЛЯ МНОГОУРОВНЕВОЙ ПАМЯТИ.

§1. B-деревья; §2. Обобщения B-деревьев; §3. Многомерные B-деревья; §4. Деревья множественных атрибутов; §5. Библиографический комментарий. Список литературы.

Список дополнительной литературы

Предметный указатель