标记迁移系统的三种仿真算法
摘要：基于状态迁移系统的最粗糙模拟前序关系的算法通常是基于Kripke结构设计的。只有在第二次时，它们才被扩展为标记过渡系统。通过这样做，字母表的大小通常成为时间和空间复杂性的乘法因子。让$Q$表示状态空间，$ ightarrow$表示迁移关系，$Sigma$表示字母表，$P\_{sim}$表示由最粗糙模拟等价关系诱导的$Q$的划分。在这篇论文中，我们提出了一个基本算法，从设计的最初阶段起，最小化字母表大小对时间和空间复杂性的影响。这个基本算法受到了Paige和Tarjan在1987年针对双模拟和Ranzato和Tapparo在2010年针对模拟的算法的启发，并派生出三个版本。其中一个版本到目前为止具有最好的位空间复杂性，$O(|P\_{sim}|^2+|{ ightarrow}|.log|{ ightarrow}|)$，而另一个版本到目前为止具有最好的时间复杂性，$O(|P\_{sim}|.|{ ightarrow}|)$。注意这些复杂性中没有字母表。第三个版本是时间和空间之间的一个很好的折衷，因为它在$O(b.|P\_{sim}|.|{ ightarrow}|)$的时间内运行，其中$b$通常远小于$|P\_{sim}|$，并使用$O(|P\_{sim}|^2.log|P\_{sim}|+|{ ightarrow}|.log|{ ightarrow}|)$位。
作者：G''erard C''ec''e (FEMTO-ST/DISC)
论文ID：1301.1638
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-01-09