Algoritmos y Programación en Pascal

7.2. Aspectos teóricos 131
Cierto
p
Falso
Figura 7.6. Un diagrama con elementos inaccesibles.
se puede reorganizar de forma ordenada combinando sólo estos esquemas. Esta
característica tiene bastante utilidad a la hora del diseño de programas, ya que
afirma que cualquier programa razonable (por ejemplo, el de la figura 7.2) puede
escribirse de forma ordenada (como en la figura 7.3). Estas ideas se desarrollarán
con más precisión en el apartado 7.2.4.
Definición: Un diagrama se dice que es un diagrama BJ (diagrama de Böhm
y Jacopini o diagrama privilegiado), si está construido a partir de los siguientes
esquemas:
1. La secuencia de dos acciones A y B, ya sean simples o compuestas:
B
A
A B
La secuencia se suele denotar como Bloque(A,B).
(7.1)
El equivalente en Pascal de este diagrama es la composición de instrucciones.
2. La selección entre dos acciones A y B dependiendo de un predicado p.
Los subprogramas, como es obvio, pueden consistir en acciones simples o
compuestas (obsérvese que el agrupamiento posterior es esencial).
p
Cierto
Falso
A
B
(7.2)
El significado de esta construcción es si p es cierto entonces se ejecuta A
y si no se ejecuta B.