automata resuelto