automata corregido