Algoritmos y Programación en Pascal

7.2. Aspectos teóricos 137
Finalmente, las dos equivalencias siguientes de desdoblamiento de bucles pueden
hacer más compacto el diagrama con el que se esté trabajando:
Falso
p
Cierto
f p
Cierto
f p f
Falso
Cierto Cierto
Falso
7.2.5 Teoremas de la programación estructurada
f
f
p
Falso
p
Cierto
En este apartado se enuncian los resultados más importantes de la programación
estructurada y se comentan sus consecuencias. El primero de todos ellos
es el teorema de estructura, que dice que todo programa propio admite una
expresión estructurada. Más formalmente, en términos de diagramas, se enuncia
así:
Teorema 7.1 (de estructura) Todo diagrama propio es equivalente a un diagrama
privilegiado.
Puesto que todos los diagramas privilegiados admiten una expresión arborescente,
como consecuencia de este teorema se obtiene que todo programa propio
es equivalente a un programa que tiene alguna de las siguientes formas:
- Bloque(A,B),
- IfThenElse(p,A,B),
- DoWhile(p,A),
donde p es un predicado del programa original y las acciones A y B son bien
instrucciones o bien (sub)programas privilegiados.
Falso