带建议的单向可逆与量子有限自动机
量子物理
2015-08-25 v3 计算复杂性
形式语言与自动机理论
摘要
我们研究了在存在称为“建议”(advice) 的补充外部信息的情况下，可逆计算和量子计算的特征。特别地，我们提出了由带有确定性建议的单向可逆有限自动机所识别的语言的简单代数刻画。通过进一步的详细论证，我们证明了带有建议的有界误差单向量子有限自动机的类似但稍弱的结果。这些性质的直接应用导致了在各种语言族在适当选择的建议辅助下的包含关系和分离关系。我们进一步展示了当给予单向量子有限自动机时，随机化建议和量子建议的能力与局限性。
引用
@article{arxiv.1208.6092,
title = {One-Way Reversible and Quantum Finite Automata with Advice},
author = {Tomoyuki Yamakami},
journal= {arXiv preprint arXiv:1208.6092},
year = {2015}
}
备注
A4, 10pt, 1 figure, 31 pages. This is a complete version of an extended abstract appeared in the Proceedings of the 6th International Conference on Language and Automata Theory and Applications (LATA 2012), March 5-9, 2012, A Coruna, Spain, Lecture Notes in Computer Science, Springer-Verlag, Vol.7183, pp.526-537, 2012