B. Introducción al Teorema de la Estructura

En 1966, los matemáticos Böhm y Jacopini publicaron un artículo donde se mencionó lo que ahora conocemos como el Teorema de la Estructura [3].

El Teorema de la Estructura muestra cómo cualquier programa se puede escribir utilizando tres estructuras de control:

· Secuencias. Un programa de computadora ejecuta una lista de instrucciones una sola vez. Las instrucciones se ejecutan en la secuencia en la que aparecen, y el programa no salta a ningún lado ni se repite ninguna de las instrucciones.

· Selección. La selección implica que es posible elegir entre algunas opciones, que dependen del valor de una condición especificada por el programador.

· Repetición. La repetición ejecuta por varias veces una sección de código mientras que cierta condición permanece siendo verdadera.

Posteriormente, los mismos autores, mencionan que es posible utilizar solamente dos tipos de estructuras para hacer cualquier otro programa, y es que una combinación de secuencias y selección, puede crear una repetición.

En muchos lenguajes de programación hay estructuras de selección, en particular la estructura SI-ENTONCES-ENOTROCASO, que corresponde a la estructura if-then-else en el lenguaje Pascal, o IFELSE en lenguaje de NetLogo, o alguna similar en otros lenguajes.

También, en la mayoría de los lenguajes estructurados, el ámbito de las estructuras de control está restringido por símbolos o palabras clave, por ejemplo el uso de llaves en lenguajes como C ´{´ y ´}´, o palabras reservadas como Begin y END. En el lenguaje de pseudocódigo que estamos utilizando vamos a emplear varios pares de palabras, como ENTONCES-FINENTONCES, ENOTROCASO-FINENOTROCASO o EMPIEZA-TERMINA.

Ejercicio: En este ejemplo, la selección se hace en términos del valor que pueda tener la variable edad. De acuerdo al siguiente código, ¿qué mensaje de texto piensas que se debe imprimir si el valor de la variable edad es igual a 18?

1) Se van a imprimir ambos mensajes
2) Ninguno de los mensajes
3) El primer mensaje
4) El segundo mensaje

En una orden de opción con la estructura SI-ENTONCES-ENOTROCASO, cuando la condición de decisión adquiere un valor falso, se ejecuta la segunda parte de la condición, es decir, la parte ENOTROCASO.