带有计时器的自动机
摘要：确定性有限状态自动机与定时器的特性研究：配置可达性问题的复杂性及其PSPACE完备性；同时超时(我们称之为“竞态”)在这种自动机的定时运行中可能发生，我们研究了在运行中是否可能修改动作之间的延迟，以避免这种竞态问题。竞态的缺失对建模目的和精简定时器自动机的学习都很重要。我们提供了自动机避免竞态的有效特征，并确定相关决策问题属于3EXP且为PSPACE难题。
作者：V''eronique Bruy`ere, Guillermo A. P''erez, Ga"etan Staquet, Frits W. Vaandrager
论文ID：2305.07451
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-15