Algoritmos y Programación en Pascal

7.2. Aspectos teóricos 129
metodología será necesario disponer de una cierta clase de diagramas permitidos
a partir de los cuales construir la teoría. Entre éstos se destaca la subclase de los
diagramas propios, que representan, desde cierto punto de vista, a los programas
correctamente estructurados.
En este apartado se restringe el concepto de diagrama, que será utilizado
más adelante en la definición de programa estructurado. Consideraremos que
un diagrama se construye usando como elementos básicos únicamente las tres
siguientes piezas:
• Acción, que sirve para representar una instrucción (por ejemplo de lectura,
escritura, asignación. . . ).
• Condición, que sirve para bifurcar el flujo del programa dependiendo del
valor (verdadero o falso) de una expresión lógica.
p
A
Cierto
Falso
• Agrupamiento, que sirve, como su nombre indica, para agrupar líneas de
flujo con distintas procedencias.
A continuación se definen y se dan ejemplos de diagramas propios, que será
lo que consideraremos como programa “razonable”. El lector puede juzgar tras
leer la definición y los ejemplos lo acertado del calificativo.
Definición: Se dice que un diagrama, construido con los elementos citados
arriba, es un diagrama propio (o limpio) si reúne las dos condiciones siguientes:
1. Todo bloque posee un único punto de entrada y otro único punto de salida.
2. Para cualquier bloque, existe al menos un camino desde la entrada hasta
él y otro camino desde él hasta la salida.