[C con Clase] GOTO

Yolmer Rosales yolmer.rosales en gmail.com
Mie Nov 12 15:01:29 CET 2008


http://es.wikipedia.org/wiki/Teorema_del_programa_estructurado
El *teorema del programa estructurado* es un resultado en la teoría de
lenguajes de programación<http://es.wikipedia.org/wiki/Teor%C3%ADa_de_lenguajes_de_programaci%C3%B3n>.
Establece que toda función
computable<http://es.wikipedia.org/wiki/Funci%C3%B3n_computable>puede
ser implementada en un lenguaje de programación que combine subrutinas
en únicamente tres formas. Esas tres formas (también llamadas estructuras de
control <http://es.wikipedia.org/wiki/Estructuras_de_control>) son:

   1. Ejecutar una subrutina y luego otra subrutina (secuencia)
   2. Ejecutar una de dos subrutinas, dependiendo del valor de una variable
   booleana (selección o IF-THEN-ELSE)
   3. Ejecutar una subrutina mientras una variable booleana sea 'verdadera'
   (iteración, ciclo o bucle)

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.
Los científicos de la computación usualmente acreditan el teorema a un
artículo de 1966 escrito por Corrado
Böhm<http://es.wikipedia.org/w/index.php?title=Corrado_B%C3%B6hm&action=edit&redlink=1>y
Giuseppe
Jacopini<http://es.wikipedia.org/w/index.php?title=Giuseppe_Jacopini&action=edit&redlink=1>.
Sin embargo, David
Harel<http://es.wikipedia.org/w/index.php?title=David_Harel&action=edit&redlink=1>rastreó
sus orígenes hasta la descripción de 1946 de la arquitectura
de Von Neumann <http://es.wikipedia.org/wiki/Arquitectura_Eckert-Mauchly> y
el teorema de la forma normal de
Kleene<http://es.wikipedia.org/wiki/Stephen_Kleene>
.

¿Por qué lo incluyen en el
lenguajje?????????????????????????????????????????
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.conclase.net/pipermail/cconclase_listas.conclase.net/attachments/20081112/b8c3571d/attachment.html>


Más información sobre la lista de distribución Cconclase