Redefine automata label