Лекции по теории автоматов

Алгоритмические модели.
Машина Тьюринга.
Основная гипотеза Тьюринга.
Устойчивость автоматов.
Состязания и гонки конечных автоматов.
ры по устранению гонок в структурном автомате.
Направленное кодирование состояний абстрактного автомат.
Cоседние кодирование соседних состояний.
Синхронизация структурного автомата.
Двойная память.
Абстрактный автомат и способы его задания.
Детерминированность и способы задания МТ.
Конфигурация МТ.
Канонический метод структурного синтеза конечного автомата.
Теорема Глушкова.Обобщённая схема структурного автомата.
Графический метод задания.
Риск в асинхронных автоматах.
Определение ГСА, функции переходов и пути в ГСА.Матричные схемы алгоритмов.