asymmetric automaton