Finite State and Finite Stop Quantum Languages

Ruqian Lu,Hong Zheng

DOI: https://doi.org/10.1007/s10773-005-4781-z

2005-01-01

International Journal of Theoretical Physics

Abstract:We propose the concept of finite stop quantum automata (ftqa) based on Hilbert space and compare it with the finite state quantum automata (fsqa) proposed by Moore and Crutchfield (Theoretical Computer Science 237(1–2), 2000, 275–306). The languages accepted by fsqa form a proper subset of the languages accepted by ftqa. In addition, the fsqa form an infinite hierarchy of language inclusion with respect to the dimensionality of unitary matrices. We introduce complex-valued acceptance degrees and two types of finite stop quantum automata based on them: the invariant ftqa (icftq) and the variant ftqa (vcftq). The languages accepted by icftq form a proper subset of the languages accepted by vcftq. In addition, the icftq form an infinite hierarchy of language inclusion with respect to the dimensionality of unitary matrices. In this way, we establish two proper inclusion relations \({\cal L}\) (fsqa) ⊂ \({\cal L}\) (ftqa) and \({\cal L}\) (icftq) ⊂ \({\cal L}\) (vcftq), where the symbol \({\cal L}\) means languages, and two infinite language hierarchies \({\cal L}_{n}\) (fsqa) ⊂ \({\cal L}_{n+1}\) (fsqa), \({\cal L}_{n}\) (icftq) \({\cal L}_{n+1}\) (icftq).