Зарегистрироваться
Восстановить пароль
FAQ по входу

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

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