Algoritmos y Programación en Pascal

138 Capítulo 7. Programación estructurada
❡❡
Teniendo en cuenta que todo diagrama propio se puede codificar mediante
instrucciones estructuradas, del enunciado del teorema se deduce queIfThen,
DoUntil, CaseOf y DoFor se pueden expresar en términos de las construcciones
Bloque, IfThenElse y DoWhile.
El segundo teorema de la programación estructurada es el teorema de corrección
(o validación).
Teorema 7.2 (de corrección) La corrección de un programa estructurado se
puede estudiar mediante pasos sucesivos, examinando cada esquema (nodo) de
su estructura arborescente y validando localmente la descomposición realizada en
ese nodo.
La importancia de este teorema reside en que permite, al menos teóricamente,
validar (o comprobar la corrección de) un programa a la vez que éste se
está construyendo. La técnica de diseño descendente facilita la verificación, ya
que basta con validar cada uno de los refinamientos realizados; esta técnica se
muestra en el apartado 7.3.2.
7.2.6 Recapitulación
Una vez presentados los aspectos teóricos de la programación estructurada,
merece la pena extraer algunas consecuencias de utilidad práctica de lo visto
hasta ahora, en especial de los diagramas privilegiados.
En el primer párrafo del apartado 7.2.3 se adelantaban aproximadamente las
siguientes ideas:
• Los diagramas BJ representan acciones muy naturales; tanto, que se reflejan
en frases corrientes de cualquier lenguaje natural, como:
– Hacer primero esto, luego eso y luego aquello (secuencia).
– Si llueve iré en coche, si no caminando (selección).
– Mientras tenga fuerzas seguiré luchando (iteración).
Esta naturalidad permite construir diagramas con organización clara y
sencilla que facilita el estudio de la corrección de los programas.
• Los diagramas BJ son suficientemente expresivos como para, combinándose
entre sí, expresar cualquier programa razonable.
• Por lo tanto, resulta ser altamente recomendable habituarse a desarrollar
programas estructurados.
Precisamente, en el siguiente apartado se comienzan a estudiar las repercusiones
de la programación estructurada en la metodología de la programación.