Tag: automaton conformity