К минимизации автоматов с таймаутами
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
Послать статью по эл. почте 