确定性定时有限状态机：等价性检查和表达能力
摘要：具有时间约束的自动机模型的定义引起了越来越多的关注。例如，时钟自动机被引入为带有时钟扩展的自动机。在本文中，我们研究了带有时间约束的有限状态机（TFSM）模型，即在时间上丰富了的FSM，它们接受带有时间约束的输入字和生成带有时间约束的输出字。在这里，我们讨论了一些具有单个时钟的TFSM模型：带有时间约束的TFSM，带有超时的TFSM，以及同时具有时间约束和超时的TFSM。我们解决了所有三个模型的等价性检查问题，并比较了它们的表达能力，刻画了带有时间约束的TFSM和带有超时的TFSM的等价子类。
作者：Davide Bresolin (University of Bologna), Khaled El-Fakih (American University of Sharjah), Tiziano Villa (University of Verona), Nina Yevtushenko (Tomsk State University)
论文ID：1408.5967
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-08-27