1. Алфавит, слова, операции над словами 4
2. Языки. Операции над языками 5
2.1. Теоретико-множественные операции 5
2.2.Специфические операции 6
3. Абстрактные формальные системы 7
4. Формальные порождающие грамматики 9
5. Классификация грамматик 10
6. А-языки. Конечные лингвистические автоматы 13
6.1. Диаграмма грамматики 13
6.2. Порождение и распознавание цепочек 14
6.3. Детерминизация недетерминированных автоматов 18
6.4. Автоматы с -переходами 21
6.5. Минимизация числа состояний автомата 26
6.6. Регулярные множества и регулярные выражения 31
6.7. Разрешимые проблемы для А-грамматик 38
7. Нотации для задания КС-грамматик 39
7.1. Математическая нотация 39
7.2. Бекусова нормальная форма 39
7.3. Расширенная форма Бекуса – Наура (РБНФ) 40
7.4. Синтаксическая диаграмма 41
8. Структура цепочек. СУ-схемы 43
9. Преобразования КС-грамматик 48
9.1 Устранение непроизводящих правил 48
9.2. Устранение недостижимых нетерминалов 49
9.3. Устранение -правил 50
9.4. Устранение цепных правил (правил вида А В) 52
10. Разрешимые и неразрешимые свойства КС-грамматик 53
10.1. Разрешимые свойства КС-грамматик 53
10.2. Неразрешимые свойства КС-грамматик 55
11. Синтаксический анализ для КС-языков 57
11.1. Типовая задача синтаксического анализа 58
11.2. LL(k)-грамматики 58
11.3.
Восходящий анализ 65
12.Элементы теории конечных автоматов 70
12.1. Автомат Мили 70
12.2. Автоматы Мура 76
12.3. Частичные автоматы 80
13. Сети автоматов. Их анализ и синтез 83
13.1. Синхронные сети автоматов 84
13.2. Правильно построенные логические сети 88