miércoles, 10 de diciembre de 2008

martes, 9 de diciembre de 2008

Estructuras de Control

Estructuras Secuenciales
Se caracterizan porque una acción se ejecuta detrás de la otra. El flujo del programa coincide con el del orden físico en el que se han ido escribiendo las instrucciones.



Estructuras Selectivas
Se ejecutan unas acciones u otras según se cumpla o no una determinada condición; pueden ser: simples, dobles o múltiples.

Simples

Dobles



Múltiples

Estructuras Repetitivas
Las acciones del cuerpo del bucle se repiten mientras o hasta que se cumpla una determinada condición.



Mientras

Hasta



Introducción a la Programación Estructurada

La Programación Estructurada es un conjunto de técnicas para desarrollar algoritmos fáciles de escribir, verificar, leer y modificar que utiliza:

  • Diseño descendente: consiste en diseñar algoritmos en etapas, yendo de lo los conceptos generales a los de detalle. El diseño descendente se verá completado y ampliado con el modular.
  • Recursos Abstractos: en cada descomposición de una acción compleja se supone que todas las partes resultantes están ya resueltas, posponiendo su realización para el siguiente refinamiento.
  • Estructuras básicas: los algoritmos deberán ser escritos utilizando únicamente tres tipos de estructuras básicas: secuencial, repetitiva y selectiva.

Teorema de Böhm y Jacopini
Para que la programación sea estructurada, los programas han de ser propios. Un programa se define como propio si cumple las siguientes características:

  • Tiene un solo punto de entrada y uno de salida.
  • Toda acción del algoritmo es accesible, es decir, existe al menos un camino que va desde el inicio hasta el fin del algoritmo, se puede seguir y pasa a través de dicha acción.
  • No posee lazos o bucles infinitos.

El teorema de Böhm y Jacopini dice que “un programa propio puede ser escrito utilizando únicamente tres tipos de estructuras: secuencial, selectiva y repetitiva”. De este teorema se deduce que se han de diseñar los algoritmos empleando exclusivamente dichas estructuras, las cuales, como tienen un único punto de entrada y un único punto de salida, harán que nuestros programas sean propios.