Algoritmos y Programación en Pascal

130 Capítulo 7. Programación estructurada
p
Cierto
Falso
A
B
p
Cierto
Falso
Figura 7.4. Un diagrama no propio y un diagrama propio.
p
Cierto
Falso
B
Figura 7.5. Un diagrama no propio.
C
A
A
B
Falso
q
Cierto
Estas condiciones restringen el concepto de diagrama de modo que sólo se permite
trabajar con aquéllos que están diseñados mediante el uso apropiado del
agrupamiento y sin bloques superfluos o formando bucles sin salida.
En el diagrama de la izquierda de la figura 7.4 se muestra un ejemplo de un
diagrama que no es propio por no tener una única salida. Agrupando las salidas
se obtiene un diagrama propio (a la derecha de la figura). En la figura 7.5 se
observa otro diagrama que no es propio, ya que existen bloques (los A y C y
q) que no tienen un camino hasta la salida; si el programa llegara hasta esos
bloques se colapsaría, pues no es posible terminar la ejecución. Finalmente, en
la figura 7.6 aparece un diagrama que contiene bloques inaccesibles desde la
entrada del diagrama.
Algunos autores exigen una condición adicional a un diagrama para considerarlo
propio: no contener bucles infinitos. Sin embargo esta propiedad está más
estrechamente relacionada con la verificación que con el diseño de programas.
7.2.3 Diagramas BJ (de Böhm y Jacopini)
Los diagramas BJ son tres diagramas especialmente importantes; esta importancia
se debe a que pueden considerarse esquemas de acciones muy naturales
y completamente expresivos, en el sentido de que cualquier programa razonable