研究报告：双向量子有限自动机上运算的状态复杂度
离散数学
2008-07-04 v1 计算复杂性
摘要
本文探讨了在所有固定长度输入上执行运算所需的最小双向量子有限自动机 (2qfa's) 的规模复杂度。这种称为运算状态复杂度的度量，有助于衡量转换语言所需的信息量。我们重点关注交、并、反转和连接运算，并展示了 2qfa's 上运算状态复杂度的一些上界。此外，我们提出了一系列非正则语言，并证明这些语言可以被 2qfa's 在线性时间内以单侧错误概率接受。值得注意的是，这些例子表明我们针对这些运算获得的上界并非紧确，因此值得改进。我们给出了一个实例，表明用双向可逆有限自动机模拟单向确定性有限自动机的状态数上界在一般情况下并非紧确。
引用
@article{arxiv.0807.0476,
title = {Research report: State complexity of operations on two-way quantum finite automata},
author = {Daowen Qiu},
journal= {arXiv preprint arXiv:0807.0476},
year = {2008}
}
备注
This is a draft and primary version, and a deep study will be done