Краткая характеристика дисциплины, её место в учебном процессе

Идеи и методы, используемые в теории автоматов, имеют не только теоретическое значение, но и позволяют грамотно проектировать как технические, так и программные системы. Данный курс дает студентам основные понятия о конечных автоматах, их свойствах, преобразованиях над автоматами, о последовательном и параллельном соединении автоматов, о сетях автоматов.

Кроме теоретических представлений об автоматах как абстрактных математических объектах, рассматриваются вопросы технической реализации наиболее распространенных на практике микропрограммных автоматов на жесткой и программируемой логике, а так же на программируемых логических матрицах.

Связь с предшествующими дисциплинами

Курс требует от студентов знаний следующих тем по дисциплинам, изучаемым на младших курсах:

Дискретная математика: переключательные функции (ПФ); способы задания ПФ; специальные разложения ПФ; не полностью определенные (частные) ПФ; минимизация ПФ и не полностью определенных ПФ; теорема о функциональной полноте; примеры функционально-полных базисов; разрешимые и неразрешимые проблемы; схемы алгоритмов;

Математическая логика и теория алгоритмов: логика высказываний

Программирование на языке высокого уровня:весь курс.