一个用于方程树自动机的高效算法：通过$k$-C-延续
摘要：计算由字正则表达式 $E$ 的方程自动机的 $k$-C-Continuations 算法，Kuske and Meinecke 扩展了这个计算，将其应用于有序字母表 $Sigma$ 上的常规树表达式 $E$，并提出了一个时间和空间复杂度为 $O(Rcdot|E|^2)$ 的算法，其中 $R$ 是 $Sigma$ 中出现的符号的最大等级，$|E|$ 是 $E$ 的大小。在本文中，我们给出了基于 Revuz 的无环最小化算法的完整描述。我们的算法在一个时间和空间复杂度为 $O(|Q|cdot|E|)$ 的情况下执行，其中 $|Q|$ 是生成的自动机的状态数，比 Kuske and Meinecke 的算法更高效。
作者：Ludovic Mignot, Nadia Ouali Sebti and Djelloul Ziadi
论文ID：1401.5951
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-01-24