对数空间计数器在常数大小量子寄存器辅助下对一元语言有用
计算复杂性
2013-09-25 v2 形式语言与自动机理论
量子物理
摘要
识别非正则语言所需的最小资源量是理论计算机科学中的一个基础研究课题，已针对不同类型的资源和多种模型进行了考察。本文聚焦于一元语言和计数器的空间复杂度。我们的模型是带有量子态和经典态的双向单计数器自动机（2QCCA），它是由带有固定大小量子寄存器的双向有限自动机加单计数器（2DCA）增强而成，或是由带有经典计数器的双向量子经典有限自动机（2QCFA）增强而成。已知任何在计数器上使用次线性空间的 2DCA 只能识别正则语言\cite{DG82B}。在本文中，我们证明了有界误差的 2QCCA 可以通过在其计数器上使用对数空间来识别非正则一元语言（针对其成员）。需要注意的是，有界误差的 2QCFA 是否能识别非正则一元语言仍然是一个未决问题。
引用
@article{arxiv.1309.4767,
title = {Log-space counter is useful for unary languages by help of a constant-size quantum register},
author = {Abuzer Yakaryilmaz},
journal= {arXiv preprint arXiv:1309.4767},
year = {2013}
}
备注
The text is updated by adding a new reference. Technical report. 10 pages. arXiv admin note: text overlap with arXiv:1207.3880