Зайцев Д.А. Математические модели дискретных систем

Учебное пособие. - Одесса: ОНАС им. А. С. Попова, 2004. - 40 с.Представлены модели, которые играют ключевую роль в компьютерных науках и теории телекоммуникаций: конечные автоматы, сети Петри, машины Тюринга. Изложены основные теоретические результаты в обозначенной области, представлены методы анализа и синтеза систем, рассмотрены области применения. Для закрепления знания приведены контрольные вопросы и задачи. Пособие предназначено для подготовки магистров в области связи.Конечные автоматы.
Определение конечного автомата.
Автоматы Мили и Мура.
Минимизация конечных автоматов.
Сети Петри.
Сети Петри и моделирование систем.
Уравнение состояний и свойства сетей Петри.
Структурный анализ сетей Петри.
Граф покрывающих маркировок.
Машины Тюринга.
Интуитивное понятие алгоритма.
Описание машины Тюринга.
Алгоритмически неразрешимые проблемы.
Метод сведения.
Контрольные вопросы.
Задачи.
(источник: zaitsev.007sites.com)