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