有限多带自动机的等价性问题再探
摘要：确定确定性多带自动机（或转换器）的等价性的可决定性是一个长期存在的未解决问题，直到上世纪90年代早期，Harju和Karhum"{a}ki才解决了这个问题。他们关于可决定性的证明得出了一个co\_NP的上界，但似乎对于该问题的复杂性了解不多。在本文中，我们给出了一个可决定性的替代证明，该证明遵循了Harju和Karhumaki的基本策略，但用矩阵代数的结果取代了他们对于群论的运用。从我们的证明中，我们得出了一个简单的随机算法，用于判断确定性多带自动机的语言等价性，更一般地，用于判断非确定性多带自动机的多重等价性。该算法仅涉及矩阵幂运算，并且在每个固定数量的带的情况下能在多项式时间内运行。如果输入的两个自动机是不等价的，则算法输出它们之间有差异的一个单词。
作者：James Worrell
论文ID：1303.6704
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-05-06