有限自动机歧义性测试的通用算法
摘要：有限自动机ε-转移的有限、多项式和指数歧义性的测试的有效算法该论文介绍了一个算法为了在时间复杂度O(|A|E^2)内测试自动机A的指数歧义性，以及在时间复杂度O(|A|E^3)内测试有限或多项式歧义性。这些复杂性显著提高了之前同一问题的最优复杂性。此外，提出的算法简单且基于自动机的组合或交集的通用算法。我们还给出了一个算法，以在时间复杂度O(|A|E^3)内确定有限自动机A的多项式歧义度。最后，我们将算法应用到概率自动机的熵的近似计算中。
作者：Cyril Allauzen and Mehryar Mohri and Ashish Rastogi
论文ID：0802.3254
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-02-25