Идентификация финального состояния в автоматах с таймаутами и временными ограничениями

Идентификация финального состояния в автоматах с таймаутами и временными ограничениями

Твардовский А.С. (ТГУ, Томск, Россия)
Бурдонов И.Б. (ИСП РАН, Москва, Россия)
Евтушенко Н.В. (ИСП РАН, Москва, Россия; НИУ ВШЭ, Москва, Россия)

Аннотация

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

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

конечный автомат; временные ограничения; таймауты; установочная последовательность; синхронизирующая последовательность; конечно-автоматная абстракция.

Издание

Труды Института системного программирования РАН, том 38, вып. 4, часть 2, 2026, стр. 7-22.

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

DOI: 10.15514/ISPRAS-2026-38(4)-16

Для цитирования

Твардовский А.С., Бурдонов И.Б., Евтушенко Н.В. Идентификация финального состояния в автоматах с таймаутами и временными ограничениями. Труды Института системного программирования РАН, том 38, вып. 4, часть 2, 2026, стр. 7-22. DOI: 10.15514/ISPRAS-2026-38(4)-16.

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