Лекция 6: Алгоритмические возможности конечных автоматов. Сети Петри

Подробности

Категория: Алгоритмы и теория вычислений

В лекции рассматривается понятие регулярного множества. Приводится формулировка теоремы Клини. Рассматривается блочное описание конечного автомата. Обсуждаются понятия композиции и декомпозиции. В заключение рассматриваются сети Петри.