añade cosas para el automata