El teorema de Bohm y Jacopini
El teorema de Böhm y Jacopini establece, que un programa propio puede ser escrito utilizando únicamente tres tipos de estructuras de control, las cuales son: estructuras secuenciales, estructuras de selección y estructuras de repetición.
Para que la programación sea estructurada, los programas han de ser propios. Un programa se define como propio si cumple las siguientes condiciones:
- Si tiene un solo punto de entrada y un solo punto de salida
- Si todas las sentencias del algoritmo son alcanzables, esto es, existe al menos un camino que va desde el inicio hasta el fin del algoritmo
- Si no posee ciclos infinitos
De este teorema se deduce que, si los algoritmos se diseñan empleando exclusivamente dichas estructuras de control, los algoritmos, y por consecuencia los programas derivados de ellos, serán propios.
Finalmente, antes de comenzar con una descripción más detallada de los algoritmos, se describirán muy brevemente estas tres estructuras de control.
Fuente: Elementos de la Programación Estructurada: Algoritmos, Pseudo Código y Diagramas de Flujo de Ricardo Ruiz Rodríguez
