Учебное пособие. Теория + Примеры — М.: МГТУ имени Н.Э. Баумана,
2013. – 63 с.: ил.
Ключевые положения теории автоматов как отдельной научной и учебной дисциплины. Рассмотрены базовые модели теории, их построение и эквивалентность, основные классы автоматов. Излагаются вопросы, относящиеся к минимальным автоматам.
Большое место отведено практике структурного синтеза автомата – одному из главных и не теряющих актуальности приложений теории.
Учебное пособие рассчитано на студентов, изучающих дисциплины «Теория автоматов» и «Прикладная теория цифровых автоматов» в соответствии с учебным планом подготовки бакалавров по направлению «Информатика и вычислительная техника».
Оглавление.
Модели теории автоматов.
Задачи теории автоматов. Виды автоматов.
Общая схема и базовые модели конечного автомата.
Абстрактный синтез конечного автомата.
Переход от одной модели к другой: обоснование возможности и практика.
Контрольные вопросы.
Задания для самопроверки.
Классы автоматов.
Мощность множества конечных автоматов.
Класс явно-минимальных автоматов.
Класс явно-сократимых автоматов.
Изоморфные автоматы.
Контрольные вопросы.
Задания для самопроверки.
Минимальные автоматы.
Эквивалентные состояния автомата и их свойства.
Минимальная форма автомата.
Контрольные вопросы.
Задания для самопроверки.
Структурный синтез конечного автомата.
Элементарные автоматы.
Алгоритм структурного синтеза.
Тестирование автомата.
Функциональная полнота системы конечных автоматов.
Контрольные вопросы.
Задания для самопроверки.
Литература.
Ключевые положения теории автоматов как отдельной научной и учебной дисциплины. Рассмотрены базовые модели теории, их построение и эквивалентность, основные классы автоматов. Излагаются вопросы, относящиеся к минимальным автоматам.
Большое место отведено практике структурного синтеза автомата – одному из главных и не теряющих актуальности приложений теории.
Учебное пособие рассчитано на студентов, изучающих дисциплины «Теория автоматов» и «Прикладная теория цифровых автоматов» в соответствии с учебным планом подготовки бакалавров по направлению «Информатика и вычислительная техника».
Оглавление.
Модели теории автоматов.
Задачи теории автоматов. Виды автоматов.
Общая схема и базовые модели конечного автомата.
Абстрактный синтез конечного автомата.
Переход от одной модели к другой: обоснование возможности и практика.
Контрольные вопросы.
Задания для самопроверки.
Классы автоматов.
Мощность множества конечных автоматов.
Класс явно-минимальных автоматов.
Класс явно-сократимых автоматов.
Изоморфные автоматы.
Контрольные вопросы.
Задания для самопроверки.
Минимальные автоматы.
Эквивалентные состояния автомата и их свойства.
Минимальная форма автомата.
Контрольные вопросы.
Задания для самопроверки.
Структурный синтез конечного автомата.
Элементарные автоматы.
Алгоритм структурного синтеза.
Тестирование автомата.
Функциональная полнота системы конечных автоматов.
Контрольные вопросы.
Задания для самопроверки.
Литература.