量子有限自动机：综述、现状与研究方向

量子计算关注基于量子力学原理、在量子层面执行操作的计算机技术。量子计算模型使得分析计算所需资源成为可能。量子自动机可分类如下：量子有限自动机、量子时序机、量子下推自动机、量子图灵机以及正交模格值自动机。这些模型有助于确定各种计算特征的表示能力与边界。鉴于量子计算理论研究的现状，对文献进行系统梳理正逢其时。本文试图对文献中所述的量子有限自动机模型、带密度算子的量子有限自动机模型、带经典状态的量子有限自动机模型、交互式证明系统、量子通信复杂性与查询复杂性提供全面而系统的分析。文中给出了量子有限自动机相关论文的统计数据，并指出了供更深入研究的开放问题。量子自动机理论的现状被划分至不同类别。本工作也强调了量子自动机模型的既往研究、现状与未来方向。