Algoritmos y Programación en Pascal

7.2. Aspectos teóricos 133
que se representa con la fórmula IfThen(p,A), y que en Pascal se corresponde
con la instrucción if-then-else cuando se omite la rama opcional else.
Una generalización interesante de la estructura de selección consiste en una
ramificación en n ramas (en lugar de dos) tras evaluar una condición. Esta
generalización se representa mediante el diagrama
que se suele leer como:
según s valga
a → hacer fa
.
n → hacer fn
s
y se corresponde con la instrucción case en Pascal.
a
b
n
. . .
fa
fb
. . .
fn
(7.5)
Este esquema permite en muchas ocasiones expresar situaciones que sólo
podrían especificarse usando un anidamiento múltiple de instrucciones de selección.
Este hecho se hace patente en la figura 7.7.
Por otra parte, a veces resulta conveniente usar un esquema de iteración
alternativo al preprobado, en el que el predicado no actúe como condición de
entrada a la iteración sino como una condición que tiene que ser cierta para salir
de la iteración. Esta construcción puede expresarse así:
Cierto
A
p
Falso
(7.6)
y se denota como DoUntil(p,A). La interpretación de esta estructura consiste
en repetir la acción A hasta que la condición p se haga falsa. En Pascal este
diagrama se corresponde con los bucles repeat.