多字母量子有限自动机的层次结构与等价性
摘要：多字母量子有限自动机对于一些不被单向量子有限自动机接受的规则语言($(a+b)^{*}b$)是无错误的。本文继续研究多字母量子有限自动机，主要集中于两个问题：(1) 我们证明了$(k+1)$字母量子有限自动机比$k$字母量子有限自动机更强大，可以接受一些不能被$k$字母量子有限自动机接受的规则语言，并通过一些例子与单向量子有限自动机进行了比较；(2) 我们证明了如果一个$k_1$字母量子有限自动机$\mathcal{A}_1$和另一个$k_2$字母量子有限自动机$\mathcal{A}_2$是等价的，那么它们是$(n_1+n_2)^4+k-1$等价的, 并且使用该方法确定两种多字母量子有限自动机的等价的时间复杂度为$O(n^{12}+k^2n^4+kn^8)$，其中$n_1$和$n_2$分别是$\mathcal{A}_1$和$\mathcal{A}_2$的状态数，$k=max(k_1,k_2)$。一些其他问题进一步进行了讨论。
作者：Daowen Qiu, Sheng Yu
论文ID：0812.0852
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-03-10