时限推动自动机的Zenoness
摘要：有限实值时钟扩展的下推自动机被称为定时下推自动机。此外，栈中的每个符号都附带一个表示其年龄的值。转换的启用性可能取决于时钟的值和栈中最上方符号的年龄。因此，稠密定时下推自动机涵盖了下推自动机和定时自动机。我们之前已经证明了该模型的可达性问题是可判定的。在本文中，我们研究了零子问题，并证明其是EXPTIME完全问题。
作者：Parosh Aziz Abdulla (Uppsala University), Mohamed Faouzi Atig (Uppsala University), Jari Stenman (Uppsala University)
论文ID：1402.6784
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-02-28