"Undecidability on Quantum Finite Automata."

Masami Amano, Kazuo Iwama (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics