correccion minimizacion, comienzo implementar mismo lenguaje