Inspired by the results of finite automata working on infinite words, we studied the quantum ω-automata with Büchi, Muller, Rabin and Streett acceptance condition. Quantum finite automata play a pivotal part in quantum information and computational theory. Investigation of the power of quantum finite automata over infinite words is a natural goal. We have investigated the classes of quantum ω-automata from two aspects: the language recognition and their closure properties. It has been shown that quantum Muller automaton is more dominant than quantum Büchi automaton. Furthermore, we have demonstrated the languages recognized by one-way quantum finite automata with different quantum acceptance conditions. Finally, we have proved the closure properties of quantum ω-automata.
CITATION STYLE
Bhatia, A. S., & Kumar, A. (2019). Quantum ω-Automata over Infinite Words and Their Relationships. International Journal of Theoretical Physics, 58(3), 878–889. https://doi.org/10.1007/s10773-018-3983-0
Mendeley helps you to discover research relevant for your work.