Введение

Глава 1. Понятие автомата

• 1. Понятие конечного автомата (304мин.)
• 2. Обобщения понятия конечного автомата (106мин.)
• Тест:  Понятие автомата (48мин.)

Глава 2. Абстрактные автоматы

• 1. Ограниченно-детерминированиые функции (66мин.)
• 2. Эквивалентность конечных автоматов (79мин.)
• 3. r-неотличимость конечных автоматов (92мин.)
• 4. Отличимость состояний конечных автоматов (79мин.)
• 5. Кратные эксперименты с конечными автоматами (225мин.)
• 6. Простые эксперименты с конечными автоматами (145мин.)
• 7. Конечные автоматы как акцепторы (119мин.)
• 8. Конечные автоматы как сверхакцепторы (106мин.)
• 9. Конечные автоматы как перечислители (106мин.)
• 10. Взаимодействие конечных автоматов и конечные автоматы в лапиринтах (185мин.)
• 11. Оценка числа автоматов приведенного вида (92мин.)
• 12. Конечные автоматы как числовые акцепторы и преобразователи (185мин.)
• Тест:  Абстрактные автоматы (42мин.)

Глава 3. Структурные автоматы

• 1. Ограниченно-детерминированные функции многих переменных (13мин.)
• 2. Канонические уравнения (40мин.)
• 3. Операции над ограниченно-детерминированными функциями (79мин.)
• 4. Схемы. Структурный автомат (40мин.)
• 5. Замыкание. Выразимость. Задача о полноте (40мин.)
• 6. Конечные K-полные системы (92мин.)
• 7. S-полнота (66мин.)
• 8. A-замыкание (53мин.)
• 9. Предполные классы (92мин.)
• 10. Алгоритмическая неразрешимость задач о K и А-полноте (66мин.)
• 11. Разрешимый случай задачи о полноте. Линейные автоматы (383мин.)
• 12. Ограниченно-детерминированные функции одной переменной (66мин.)
• 13. Группа AS2 (92мин.)
• 14. Гомоморфизм автоматов. Моделирование (145мин.)
• 15. Задача о выразимости для детерминированных функций (79мин.)
• Тест:  Структурные автоматы (46мин.)

Глава 4. Однородные структуры

• 1. Определения и примеры (159мин.)
• 2. Графы переходов однородных структур (119мин.)
• 3. Анализ поведений однородных структур (277мин.)
• 4. Моделирование в однородных структурах (211мин.)
• Тест:  Однородные структуры (44мин.)

Список литературы

Список обозначений

Завершение курса

• Тест:  Итоговое тестирование (60мин.)