ω-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 …