La instrucción "HACER MIENTRAS" evalúa la condición al final de cada iteración del ciclo en lugar de al principio, por lo que las variables de la condición pueden inicializarse antes o durante la primera iteración y modificarse dentro del ciclo para garantizar que la condición se vuelva falsa en algún punto.