Algoritmos y Programación en Pascal

132 Capítulo 7. Programación estructurada
En Pascal este diagrama se corresponde con la instrucción if-then-else.
3. La iteración repite una acción A dependiendo del valor de verdad de un
predicado de control p.
A
Cierto
p
Falso
(7.3)
El significado de este tipo de iteración es mientras que p es cierto hacer A
y se denota mediante DoWhile(p,A).
En esta construcción, el predicado p actúa como un control sobre la iteración,
esto es, si se verifica p entonces se ejecuta A.
Observando el diagrama (7.3) se observa que se comprueba el valor del
predicado antes de ejecutar la acción (el bucle es preprobado), con lo cual
en Pascal este diagrama de iteración se corresponde con la instrucción
while.
Otros diagramas de uso frecuente
Ya se ha comentado antes que es posible expresar todo diagrama propio
usando solamente los tres esquemas anteriores (esto es consecuencia de los resultados
matemáticos de Böhm y Jacopini); sin embargo, con vistas a obtener una
representación más agradable, se pueden considerar también algunos tipos adicionales
de esquemas que son versiones modificadas de la secuencia, la selección
y la repetición.
Así, el esquema de la secuencia se puede generalizar para representar una
secuencia de n subprogramas A1, . . . , An:
A1 A2 . . .
An
Si hacemos uso de la acción vacía (que se corresponde con una instrucción
que no hace nada) se puede considerar la siguiente variante de la selección:
p
Cierto
A
Falso (7.4)