在O(m.log n)时间内的DLTS上的双模拟
摘要：Hopcroft的算法是一个用于最小化确定完全自动机的著名算法，时间复杂度为$O(knlog n)$，其中$k$是字母表的大小，$n$是状态的数量。该算法的主要部分是在有限确定标记转换系统（DLTS）上计算最粗糙的双模拟。通过应用我们在模拟案例中开发的技术，我们设计了一个新的算法，它可以在$O(mlog n)$的时间复杂度和$O(k+m+n)$的空间复杂度下计算有限DLTS上的最粗糙的双模拟，其中$m$是转换的数量。底层的DLTS不需要是完全的，所以$m \leq kn$。这个新算法比文献中发现的其他两个算法要简单得多。
作者：G''erard Cece (FEMTO-ST/DISC)
论文ID：1302.3489
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-02-15