1.1. Автоматы первого и второго рода. Способы задания абстрактных автоматов
1.2. Представление событий в автоматах
1.3. Задачи анализа и синтеза автоматов
2. АБСТРАКТНЫЙ АНАЛИЗ АВТОМАТОВ
2.1. Основные понятия теории линейных переходных графов
2.2 Алгоритм анализа автоматов
2.3. Минимальная форма регулярного выражения
3. ФОРМАЛЬНЫЕ ЯЗЫКИ И ГРАММАТИКИ
3.1. Введение в теорию формальных языков и грамматик
3.2. Вывод цепочек формального языка. Деревья контекстно-свободной грамматики.
3.3. Основные понятия теории формальных грамматик
4.АЛГЕБРА АБСТРАКТНЫХ АВТОМАТОВ
4.1. Содержательный смысл операций над автоматами
4.2. Теоретико-множественные операции над автоматами
4.3. Алгебраические операции над автоматами
5. АБСТРАКТНЫЙ СИНТЕЗ АВТОМАТОВ
5.1. Задание регулярных выражений в форме графов
5.2. Алгебраический метод синтеза автоматов