<a href="http://es.wikipedia.org/wiki/Teorema_del_programa_estructurado">http://es.wikipedia.org/wiki/Teorema_del_programa_estructurado</a><br>El <b>teorema del programa estructurado</b> es un resultado en la <a title="Teoría de lenguajes de programación" href="http://es.wikipedia.org/wiki/Teor%C3%ADa_de_lenguajes_de_programaci%C3%B3n">teoría de lenguajes de programación</a>. Establece que toda <a title="Función computable" href="http://es.wikipedia.org/wiki/Funci%C3%B3n_computable">función computable</a> puede ser implementada en un lenguaje de programación que combine subrutinas en únicamente tres formas. Esas tres formas (también llamadas <a title="Estructuras de control" href="http://es.wikipedia.org/wiki/Estructuras_de_control">estructuras de control</a>) son: 
<ol>
<li>Ejecutar una subrutina y luego otra subrutina (secuencia) 
<li>Ejecutar una de dos subrutinas, dependiendo del valor de una variable booleana (selección o IF-THEN-ELSE) 
<li>Ejecutar una subrutina mientras una variable booleana sea 'verdadera' (iteración, ciclo o bucle) </li></li></li></ol>
<p>Este teorema demuestra que la instrucción GOTO no es estrictamente necesaria y para todo programa existe un programa equivalente que no hace uso de dicha instrucción.</p>
<div>Los científicos de la computación usualmente acreditan el teorema a un artículo de 1966 escrito por <a class="new" title="Corrado Böhm (aún no redactado)" href="http://es.wikipedia.org/w/index.php?title=Corrado_B%C3%B6hm&action=edit&redlink=1">Corrado Böhm</a> y <a class="new" title="Giuseppe Jacopini (aún no redactado)" href="http://es.wikipedia.org/w/index.php?title=Giuseppe_Jacopini&action=edit&redlink=1">Giuseppe Jacopini</a>. Sin embargo, <a class="new" title="David Harel (aún no redactado)" href="http://es.wikipedia.org/w/index.php?title=David_Harel&action=edit&redlink=1">David Harel</a> rastreó sus orígenes hasta la descripción de 1946 de la <a class="mw-redirect" title="Arquitectura Eckert-Mauchly" href="http://es.wikipedia.org/wiki/Arquitectura_Eckert-Mauchly">arquitectura de Von Neumann</a> y el teorema de la forma normal de <a title="Stephen Kleene" href="http://es.wikipedia.org/wiki/Stephen_Kleene">Kleene</a>.</div>

<div> </div>
<div>¿Por qué lo incluyen en el lenguajje?????????????????????????????????????????</div>