Минимизация автоматов с таймаутами и временными ограничениями

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

Full description

Bibliographic Details
Published in:Труды Института системного программирования РАН Т. 29, вып. 4. С. 139-154
Main Author: Твардовский, Александр Сергеевич
Other Authors: Евтушенко, Нина Владимировна, Громов, Максим Леонидович
Format: Article
Language:Russian
Subjects:
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000622963
Перейти в каталог НБ ТГУ