Preview

Труды Института системного программирования РАН

Расширенный поиск

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

https://doi.org/10.15514/ISPRAS-2014-26(6)-7

Полный текст:

Аннотация

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

Об авторе

Александр Твардовский
Национальный исследовательский Томский Государственный университет
Россия


Список литературы

1. Bresolin D., El-Fakih K., Villa T., Yevtushenko N. Timed Finite State Machines: Equivalence checking and expressive power. Intern Conf. CANDALF’2014, pp. 203-216.

2. Кондратьева О.В. Разработка методов синтеза и анализа композиций временных автоматов: магистерская диссертация на соискание степени магистра радиофизики. Томск, 2012. 72 с.

3. Кондратьева. О.В. Минимизация временных автоматов с таймаутами // Материалы конференции “Новые информационные технологии в исследовании сложных структур”. - Томск : Издательский дом Томского государственного университета, 2014. - 132 с.

4. Твардовский А., Евтушенко Н., К минимизации автоматов с временными ограничениями. ”Вестник ТГУ. Управление, вычислительная техника и информатика”. - Томск : Издательский дом Томского государственного университета, № 4, 2014. 77-83 с.

5. Gill A. Introduction to the Theory of Finite-State Machines. М.: Nauka, 1966. 272 p.


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


Твардовский А. К минимизации автоматов с таймаутами. Труды Института системного программирования РАН. 2014;26(6):77-84. https://doi.org/10.15514/ISPRAS-2014-26(6)-7

For citation:


Tvardovskiy A. On the minimization of timed Finite State Machines. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(6):77-84. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(6)-7

Просмотров: 51


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


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