仅测量量子自动机识别语言类的代数刻画
形式语言与自动机理论
2012-07-17 v2
摘要
我们研究了一种仅允许测量操作的单向量子自动机模型（MOn-1qfa）。给出了LMO的代数刻画，表明LMO中语言的句法幺半群恰好是J-平凡字幂等幺半群的文字伪簇，其中J是由双边理想确定的格林关系。我们还证明了LMO与字幂等分段可测试正则语言的文字簇一致。这使我们能够证明存在多项式时间算法来判断正则语言是否属于LMO。
引用
@article{arxiv.1206.1702,
title = {Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata},
author = {Carlo Comin and Maria Paola Bianchi},
journal= {arXiv preprint arXiv:1206.1702},
year = {2012}
}