Практикум по конечным автоматам

: Информация
Опубликована: 22.04.2015 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 
В практикуме рассматривается решение задач по конечным автоматам.
Дается введение в теорию конечных и численных автоматов, автоматов Мили, изучаются их алгоритмические возможности и сети Петри.

План занятий

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