Instrucción repetitiva hacer...mientras

En pseudocódigo, para escribir una instrucción repetitiva hacer...mientras se utiliza la sintaxis:

hacer       <bloque_de_instrucciones>    mientras ( <expresión_lógica> )

En un bucle hacer...mientras, primero se ejecuta el bloque de instrucciones y, después, se evalúa la condición. En el caso de que ésta sea verdadera, se vuelve a ejecutar el bloque de instrucciones. Y así sucesivamente, hasta que, la condición sea falsa.

(Véase el apartado 10.2 Repetitiva_hacer...mientras del Curso de Diseño de Algoritmos).