Компьютерные науки

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

Программа для освоения принципов работы современных сетей, включая настройку адресации, анализ трафика и понимание сетевых протоколов.
Студентов 297 Для специалистов
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Учебный курс посвящен теоретическим основам и практическим аспектам проектирования абстрактных вычислительных машин. В материалах детально изучаются конечные, частичные и недетерминированные автоматы. Рассматриваются методы упрощения схем автоматов, подходы к распознаванию множеств и алгоритмические пределы дискретных систем. Отдельное внимание уделено моделированию параллельных процессов с помощью сетей Петри.
Цели
  • Сформировать понимание теории конечных автоматов и формальных языков.
  • Раскрыть методы минимизации и преобразования автоматных моделей.
  • Систематизировать знания об алгоритмических возможностях сетей Петри.
Чему я научусь?
  • Анализировать свойства детерминированных и недетерминированных конечных автоматов.
  • Проектировать автоматы Мили и оптимизировать их внутреннюю структуру.
  • Использовать сети Петри для моделирования и анализа информационных процессов.

Авторы

Бояршинов Борис Сергеевич
Бояршинов Борис Сергеевич
Доцент, кандидат физико-математических наук, МГГУ им. Шолохова.
Чему я научусь?
  • Анализировать свойства детерминированных и недетерминированных конечных автоматов.
  • Проектировать автоматы Мили и оптимизировать их внутреннюю структуру.
  • Использовать сети Петри для моделирования и анализа информационных процессов.

Учебный план

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

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^