Algoritmos y Programación en Pascal

108 Capítulo 6. Instrucciones estructuradas
Para verificar este fragmento se estudiará separadamente cada una de las dos
ramas (la then y la else)
{PreC.: a = X, b = Y}
if a >= b then
{a = X, b = Y y X >= Y }
m:= a
{a = X, b = Y, X >= Y y m = X = máx(X,Y)}
else
{a = X, b = Y y X < Y}
m:= b
{a = X, b = Y, X < Y y m = Y = máx(X,Y)}
{Postc.: a = X, b = Y y m = máx(X,Y)}
Se observa que cada una de las ramas verifica la postcondición, con lo cual
la selección descrita es correcta.
Uso correcto de estructuras iterativas
Después de conocer las instrucciones de Pascal que permiten codificar bucles,
en particular tras estudiar los distintos ejemplos incluidos, se puede tener la
sensación de que construir bucles correctamente necesita grandes dosis de inspiración,
ya que un bucle escrito a la ligera puede dar más o menos vueltas de lo
necesario, no detenerse nunca o, cuando lo hace, dar un resultado incorrecto.
En este apartado se pretende demostrar que no es necesario apelar a las
musas para escribir bucles correctos, ya que basta con diseñar el bucle mediante
una metodología adecuada que se presenta a continuación.
Como primer ejemplo se considerará el algoritmo de la división entera mediante
restas sucesivas; este algoritmo se esboza a continuación mediante un
sencillo ejemplo:
Para hallar el cociente de la división de 7 entre 2 hay que ver cuántas veces
“cabe” 2 dentro de 7 (en este caso 7 = 2 + 2 + 2 + 1 con lo que el cociente será
3 y el resto 1) y, para ello, a 7 (el dividendo) se le va restando 2 (el divisor)
repetidamente hasta que se obtenga un número menor que 2 (el divisor); este
número será el resto de la división, y el número de repeticiones realizadas será
el cociente.
No es conveniente comenzar a escribir directamente el bucle, aun habiendo
comprendido perfectamente cómo trabaja el algoritmo. Antes conviene meditar
qué tipo de bucle usar, especificar las variables mínimas necesarias, expresar el
resultado deseado en términos de variables declaradas y especificar qué se espera
que el bucle realice en cada repetición.