Teorema De Böhm – Jacopini

Teorema de Böhm – Jacopini

Este teorema fue publicado en 1966 por los matemáticos Corrado Böhm y Giuseppe Jacopini. Este plantea que un programa puede ser escritoutilizando solamente las siguientes estructuras de control: Secuencia, selección e iteración.
• Secuencia: es simplemente la formalización de la idea de que las instrucciones de unprograma son ejecutadas en el mismo orden en que ellas aparecen en el programa.
• Selección: Es la escogencia entre dos acciones tomando la decisión en base al resultado deevaluar un predicado.
• Iteración: Esta estructura lógica es utilizada para que se repita la ejecución de un conjunto de instrucciones mientras se cumpla una condición opredicado.
Con la programación estructurada podemos obtener las siguientes ventajas:
1. Los programas son más fáciles de entender. Un programa estructurado puede ser leído ensecuencia, de arriba hacia abajo, sin necesidad de estar saltando de un sitio a otro en la lógica, lo cual es típico de otros estilos de programación.
2. Reducción del esfuerzo enlas pruebas. El programa se puede tener listo para producción normal en un tiempo menor del tradicional; por otro lado, el seguimiento de las fallas ("debugging") se facilitadebido a la lógica más visible, de tal forma que los errores se pueden detectar y corregir más fácilmente.
3. Reducción de los costos de mantenimiento.
4. Programas mássencillos y más rápidos.
5. Aumento de la productividad del programador.
6. Se facilita la utilización de las otras técnicas para el mejoramiento de la productividad enprogramación.
7. Los programas quedan mejor documentados internamente.
Este teorema inicio la revolución en el mundo de la programación dando paso a la programación estructurada.