Models and characterizations of 1-way quantum finite automata