自动机的最小化
摘要：有限自动机最小化的设计和分析算法是本章的关注点。在文本处理、图像分析、语言计算机科学等框架中使用和实施有限自动机工具时，获得最小化的自动机是一个基本问题。最小化算法分为两大类：第一类是通过对状态集合的划分进行一系列的细化，第二类是通过状态的合并进行一系列的合并。Hopcroft和Moore算法属于第一大类，Revuz的无环自动机的线性时间最小化属于第二大类。 我们的研究之一是比较Moore算法和Hopcroft算法的性质。这为这两个算法提供了一些新的见解。正如我们将看到的那样，这两个算法在行为和复杂度上都有很大的区别。特别是，我们显示了无法通过另一个算法来模拟某个算法的计算过程。我们描述了所谓的局部自动机的合并最小化算法。最小化的一个特例是对有限集合构造最小自动机。我们简要地讨论了这种情况，并特别描述了增量算法。最后，我们考虑了在添加或移除一个词时更新最小自动机的情况。
作者：Jean Berstel and Luc Boasson and Olivier Carton and Isabelle Fagnot
论文ID：1010.5318
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-01-04