Computacion

El teorema del programa estructurado es un resultado en la teoría de lenguajes de programación. Establece que toda función computable puede ser implementada en un lenguaje de programación que combinesubrutinas en únicamente tres formas. Esas tres formas (también llamadas estructuras de control) son:
Ejecutar una subrutina y luego otra subrutina (secuencia)
Ejecutar una de dos subrutinas,dependiendo del valor de una variable booleana (selección o IF-THEN-ELSE)
Ejecutar una subrutina mientras una variable booleana sea 'verdadera' (iteración, ciclo o bucle)
Este teorema demuestra quela instrucción GOTO no es estrictamente necesaria y para todo programa existe un programa equivalente que no hace uso de dicha instrucción.
Los científicos de la computación usualmente acreditan elteorema a un artículo de 1966 escrito por Corrado Böhm y Giuseppe Jacopini. Sin embargo, David Harel rastreó sus orígenes hasta la descripción de 1946 de la arquitectura de von Neumann y el teorema dela forma normal de Kleene.
Programación estructurada
IDEA CENTRAL: Las estructuras de control de un programa sólo deben
tener un punto de entrada y un punto de salida.
La programaciónestructurada...
mejora la productividad de los programadores.
mejora la legibilidad del código resultante.
La ejecución de un programa estructurado progresa disciplinadamente,
en vez de saltar de un sitio aotro de forma impredecible
En programación estructurada sólo se emplean tres construcciones:
ü Secuencia
Conjunto de sentencias que se ejecutan en orden
(asignaciones y llamadas a rutinas)
üSelección
Estructura de control condicional
(if-then-else, case/switch)
ü Iteración
Estructura de control repetitiva
(bucles: while, do...while, for)
Teorema de Böhm y Jacopini (1966)
Cualquierprograma de ordenador puede diseñarse e implementarse
utilizando únicamente las tres construcciones estructuradas
(secuencia, selección e iteración; esto es, sin sentencias goto).
En lenguajes de...