making RE an instance of Automaton