Queue_automaton