Автор: Борис Бояршинов | Московский государственный гуманитарный университет имени М.А. Шолохова
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
 
Уровень:
Для всех
Длительность:
0:03:00
Студентов:
256
В практикуме рассматривается решение задач по конечным автоматам.
Дается введение в теорию конечных и численных автоматов, автоматов Мили, изучаются их алгоритмические возможности и сети Петри.
Специальности: Программист
 

План занятий

Занятие
Заголовок <<
Дата изучения
Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
Лекция состоит из двух частей. В первой части обсуждаются вопросы разрешимости и перечислимости множеств, сходимости алгоритмов, приводится формулировка теоремы Райса. Вторая часть лекции посвящена введению в теорию конечных автоматов (КА). Дается формальное определение КА, рассматриваются способы задания, примеры.
Оглавление
    -
    Свойства и варианты конечных автоматов
    В лекции рассматриваются свойства и варианты конечных автоматов (КА). Дается определение, и приводятся примеры эквивалентных автоматов.
    Оглавление
      -
      Алгоритмические возможности конечных автоматов. Сети Петри
      В лекции рассматривается понятие регулярного множества. Приводится формулировка теоремы Клини. Рассматривается блочное описание конечного автомата. Обсуждаются понятия композиции и декомпозиции. В заключение рассматриваются сети Петри.
      Оглавление
        -
        Анатолий Федоров
        Анатолий Федоров
        Россия, Москва, Московский государственный университет им. М. В. Ломоносова, 1989
        Николай Савенко
        Николай Савенко
        Казахстан, Астана