Сборники трудов ИСП РАН


К минимизации автоматов с таймаутами.

Александр Твардовский.

Аннотация

В данной статье предлагается алгоритм минимизации конечного полностью определенного автомата с таймаутами. Показывается, что в отличие от классических конечных автоматов, для таких автоматов минимальная форма не является единственной с точностью до изоморфизма.

Ключевые слова

конечные автоматы, минимизация, таймауты, приведённая форма

Издание

Труды Института системного программирования РАН, том 26, вып. 6, 2014, стр. 77-84.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2014-26(6)-7

Полный текст статьи в формате pdf Вернуться к содержанию тома