干涉自动机
摘要：提出了一种使用光学干涉现象的计算模型，即双向光学干涉自动机（2OIA）。我们引入这个模型来研究经光学干涉功能增强后的经典确定有限自动机（DFA）在语言识别方面的能力提升。这个问题与量子和经典状态的双向有限自动机（2QCFA）[A. Ambainis and J. Watrous, Two-way Finite Automata With Quantum and Classical States, Theoretical Computer Science, 287 (1), 299-311, (2002)]的思想一致，其中经典的DFA增加了一个大小恒定的量子组件。我们对上述论文中提到的语言测试了2OIA的能力。我们提供了有效的2OIA算法来识别已知存在2QCFA机器的语言，以及对于2QCFA而言的问题仍未解答的语言。最后，我们证明了存在一种语言，2OIA无法识别，但可以被一个$O(n^3)$空间图灵机识别。
作者：M. V. Panduranga Rao
论文ID：cs/0701128
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23