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

План занятий

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