整数复位时钟自动机：时钟缩减与确定性
摘要：给定一个整数复位定时自动机（IRTA）${cal A}$，我们提出了一个过程，生成一个等效的确定性单钟IRT ${cal B}$，其大小最多是${cal A}$大小的双指数。我们证明了这个定位数的边界是紧的。此外，如果在秒表自动机中使用整数复位，则可以获得一个在所有布尔运算下都封闭且可达性可判定的秒表自动机子类。
作者：Lakshmi Manasa, Krishna.S
论文ID：1001.1215
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-01-11