Введение
ГЛАВА I. Формальные грамматики и продукционные системы 9
1.1. Некоторые задачи искусственного интеллекта и их связь с продукционными системами . 9
1.2. Обзор существующего положения 10
1.3. Некоторые нерешенные проблемы . 11
1.4. Постановка задачи 12
ГЛАВА II. Конвенциональные грамматики 13
2.1. Целенаправленность и управление выводом в грамматиках 13
2.2. Основные определения 13
2.3. Иерархические свойства языков, порожденных к-грамматиками 18
2.4. Грамматическая сложность к-грамматик и языков 30
2.4.1. Определения 30
2.4.2. Независимость 33
2.4.3. Теоремы 40
2.5. Выводы 34
ГЛАВА III. Обобщенные грамматики . 57
3.1. Обучение и индуктивный вывод 57
3.2. Основные определения 58
3.3. Исследование грамматической сложности ок-грамматик и языков 60
3.4. Выводы 63
Заключение 65
Литература 67
