带输出延迟的计时有限状态机的驻点与同步序列研究
形式语言与自动机理论
2025-10-08 v3 计算复杂性
摘要
本文引入了面向带输出延迟的计时有限状态机（TFSM）的最终状态识别（同步与驻点）序列，并探讨其性质。我们正式定义了针对这些TFSM的驻点序列（HSs）和同步序列（SSs），并表明若干在无时限机器中成立的性质在时限机器中不一定成立。此外，我们探索了various方法在为带输出延迟的TFSM推导SSs和HSs方面的适用性，如基于截断后继树和FSM抽象化的方法。相应地，我们识别了TFSM中可直接应用这些方法的子类以及需要其他方法的情形。此外，我们评估了TFSM带输出延迟时是否存在性检查以及（最短）HSs/SSs的推导的复杂度。
引用
@article{arxiv.2507.14526,
title = {Studying homing and synchronizing sequences for Timed Finite State Machines with output delays},
author = {Evgenii Vinarskii and Jakub Ruszil and Adam Roman and Natalia Kushik},
journal= {arXiv preprint arXiv:2507.14526},
year = {2025}
}