Change automata notation