Programacion Estructurada

La programación estructurada es una técnica para escribir programas (programación de computadora) de manera clara. Para ello se utilizan únicamente tres estructuras: secuencia, selección e iteración; siendo innecesario el uso de la instrucción o instrucciones de transferencia incondicional (GOTO, EXIT FUNCTION, EXIT SUB o múltiples RETURN).
Hoy en día las aplicaciones informáticas son mucho másambiciosas que las necesidades de programación existentes en los años 1960, principalmente debido a las aplicaciones gráficas, por lo que las técnicas de programación estructurada no son suficientes. Ello ha llevado al desarrollo de nuevas técnicas, tales como la programación orientada a objetos y el desarrollo de entornos de programación que facilitan la programación de grandes aplicaciones.TEOREMAS DE LA PROGRAMACIÓN ESTRUCTURADA
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 combine sólo tres estructuras lógicas. Esas tres formas (también llamadas estructuras de control) específicamente son:
1. Secuencia: ejecución de una instruccióntras otra.
2. Selección: ejecución de una de dos instrucciones (o conjuntos), según el valor de una variable booleana.
3. Iteración: ejecución de una instrucción (o conjunto) mientras una variable booleana sea 'verdadera'. Esta estructura lógica también se conoce como ciclo o bucle.
Este teorema demuestra que la instrucción GOTO no es estrictamente necesaria y que para todo programa que lautilice existe otro equivalente que no hace uso de dicha instrucción.
Los científicos de la computación usualmente acreditan el teorema 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 de la forma normal de Kleene.
La demostración de Böhm-Jacopini describecómo construir diagramas de flujo estructurados a partir de cualquier digrama de flujo, usando los bits de una variable entera extra para dar seguimiento a la información que el programa original representa mediante puntos de entrada en el código. Esta construcción estuvo basada en el lenguaje de programación P′′ de Böhm. La demostración de Böhm-Jacopini no esclareció la cuestión sobre cuándoconvendría usar programación estructurada para el desarrollo de software, en parte porque la construcción ofuscaba el código del programa en lugar de mejorarlo. Por otro lado, fue el punto de partida para iniciar el debate. Edsger Dijkstra escribió una importante carta titulada "La sentencia Go To considerada dañina" en el año 1968. Posteriores estudios agregaron aproximaciones más prácticas a lademostración de Böhm-Jacopini, que mantenían o mejoraban la claridad del programa original.

ESTRUCTURAS DE CONTROL
Estructura Secuencial
Indica que las instrucciones de un programa se ejecutan una después de la otra, en el mismo orden en el cual aparecen en el programa.
Estructura Selectiva
También conocida como la estructura SI-VERDADERO-FALSO, plantea la selección entre dos alternativas conbase en el resultado de la evaluación de una condición; equivale a la instrucción IF de todos los lenguajes de programación.
* IF señala el comienzo de la instrucción condicional, y se espera que después siga la condición lógica de control de la instrucción.
* THEN señala el fin de la condición, y después estará la instrucción a ejecutar si la condición es verdadera.
* ELSE esopcional, le sigue la instrucción que se ejecutará si la condición es falsa.
* END IF indica el final de la estructura, luego de ésta el programa seguirá su curso

Estructura Repetitiva (Iterativa)

También llamada la estructura HACER-MIENTRAS-QUE, corresponde a la ejecución repetida de una instrucción mientras que se cumple una determinada condición.
* DO WHILE: señala el comienzo del...