Algoritmos y Programación en Pascal

154 Capítulo 7. Programación estructurada
Un número especial de la revista [dat73] se dedicó sólo a la programación estructurada.
En él podemos encontrar artículos que resaltan distintos aspectos de la programación
estructurada, desde el diseño descendente hasta la programación sin goto.
Como muestra de la importancia suscitada por aquellas fechas citamos textualmente
unas palabras de McCracken [McC73]: “¡Este número de Datamation es importante!
Lean atentamente cada artículo, porque se describe un movimiento que va a cambiar su
futuro.”
Un texto reciente de programación estructurada en Pascal es [CGL + 94], que contiene
un acercamiento gradual a las técnicas de programación estructurada, con numerosos
ejercicios y ejemplos con el compilador Turbo Pascal de Borland. A un nivel más elevado
que el presente texto y con un gran énfasis en la corrección y verificación de programas
podemos citar [AA78].
Por lo que respecta a la verificación de programas cabe destacar el capítulo 4
de [Ben86] en el que, mediante un sencillo ejemplo, se muestra que la escritura del
código final resulta una tarea fácil después de una correcta definición del problema,
diseño del algoritmo y elección de las estructuras de datos.
Se han escrito muchos artículos en los que se reconoce la importancia de la introducción
de los invariantes de bucle desde los primeros contactos con las instrucciones
iterativas, como ejemplo podemos destacar [Arn94, Tam92, Col88].
Para profundizar en los métodos numéricos presentados, bipartición y Newton-
Raphson, así como disponer de un gran surtido de métodos iterativos para resolver
problemas matemáticos, se recomienda leer [DM84].
El problema de los números pedrisco se comenta en [Hay84]. En este artículo se
presenta el problema, su historia y experimentos con computador llevados a cabo. En
particular, se señala que se han ensayado todos los valores de N hasta 2 40 (aproximadamente
un billón y cien mil millones) y en todos los casos el resultado ha sido el mismo:
finalmente se cae en el bucle 1, 4, 2, 1. A pesar de todo, aún no se ha encontrado una
demostración general de que ocurre lo mismo para cada N.
La versión dicotómica del problema propuesto acerca de la raíz cuadrada entera se
puede leer en [Hig93].