Cambios y correcciones del autómata