Corrige bug en generación de automatas.