量子有限自动机与概率可逆自动机：R-平凡幂等语言
形式语言与自动机理论
2011-09-07 v1 量子物理
摘要
我们研究各类“判定-停机”量子有限自动机（QFA）和概率可逆自动机（DH-PRA）模型对R-平凡幂等（R1）语言的识别。我们引入双随机QFA（MM-BQFA），该模型推广了Nayak的增强型QFA和DH-PRA。我们运用代数自动机理论和线性不等式系统的工具，给出了所有这些模型所识别的R1语言的完整刻画。我们还发现，目前已知的“禁止构造”并未涵盖所有不能被多次测量QFA识别的语言。
引用
@article{arxiv.1106.2530,
title = {Quantum Finite Automata and Probabilistic Reversible Automata: R-trivial Idempotent Languages},
author = {Marats Golovkins and Maksim Kravtsev and Vasilijs Kravcevs},
journal= {arXiv preprint arXiv:1106.2530},
year = {2011}
}
备注
30 pages, 3 figures