Algoritmos y Programación en Pascal

6.3. Instrucciones de iteración 95
while Expresi—n Booleana do Instrucci—n
Figura 6.4. Diagrama sintáctico de la instrucción while.
La ejecución de una instrucción while comienza con la comprobación de la
condición (por esto a los bucles while se les llama bucles preprobados); si ésta es
falsa entonces se finaliza la ejecución, esto es, se salta la sentencia que aparece
tras el do; si la condición es verdadera entonces se ejecuta la instrucción, se
vuelve a comprobar la condición y así sucesivamente.
Para una correcta utilización de la instrucción while es necesario que la
instrucción modifique las variables que aparecen en la condición, ya que en caso
contrario, si la condición es verdadera siempre permanecerá así y el bucle no
terminará nunca.
Una situación en que se puede producir este error surge cuando el cuerpo
del bucle es una secuencia de instrucciones y se olvida utilizar los delimitadores
begin y end. Por ejemplo, el siguiente segmento de código no calcula la suma
de los enteros desde el 1 hasta el n:
ReadLn(n);
suma:= 0;
contador:= 0;
while contador