Теория автоматов

Дисциплина «Теория автоматов» предназначена для изучения одного из основных типов дискретных динамических моделей – конечных детерминированных автоматов. Автоматные модели позволяют представлять информационные технологии как дискретные процессы, для реализации которых требуется память, управляющие воздействия и необходимо наблюдение признаков фактического протекания процессов. Теория конечных детерминированных автоматов имеет приложения в проектировании управляющих систем, в синтезе и оптимизации процессов преобразования информации, в технической, медицинской и других диагностиках, в разработке программных комплексов. Дисциплина «Теория автоматов» имеет математическую ориентацию с точными постановками задач синтеза, анализа и экспериментов по распознаванию автоматов, доказательствами теорем и рассмотрением теоретических примеров.