Teorema del programa estructurado - Historial de revisiones

Carlos idict: Texto reemplazado: «
» por «»

2019-09-04T03:29:54Z

Texto reemplazado: «<div align="justify">» por «»

Jhonlier12017 jc.hlg en 14:17 26 may 2011

2011-05-26T14:17:04Z

Jhonlier12017 jc.hlg en 19:09 14 may 2011

2011-05-14T19:09:55Z

Gloria ciget.hol en 13:54 6 may 2011

2011-05-06T13:54:05Z

Jhonlier12017 jc.hlg: /* Teorema del programa estructurado */

2011-03-28T21:36:18Z

‎Teorema del programa estructurado

Jhonlier12017 jc.hlg: /* Teorema del programa estructurado */

2011-03-28T21:33:13Z

‎Teorema del programa estructurado

Jhonlier12017 jc.hlg: /* Fuentes */

2011-03-28T21:26:12Z

‎Fuentes

Jhonlier12017 jc.hlg en 19:22 26 mar 2011

2011-03-26T19:22:39Z

Jhonlier12017 jc.hlg en 19:17 26 mar 2011

2011-03-26T19:17:44Z

Jhonlier12017 jc.hlg: Página creada con '== Teorema del programa estructurado == La teoría de lenguajes de programación tiene varios hitos en su desarrollo, el presente teor...'

2011-03-26T15:38:31Z

Página creada con '== Teorema del programa estructurado == La teoría de lenguajes de programación tiene varios hitos en su desarrollo, el presente teor...'

Página nueva

== Teorema del programa estructurado ==

La [[Teoría de Lenguages de Programación|teoría de lenguajes de programación]] tiene varios hitos en su desarrollo, el presente teorema es uno de ellos. Su definición más acertada se centra en el trabajo de 1966 de Corrado Böhm y Giuseppe Jacopini, quienes plantean que toda función computable puede ser implementada solo tres tipos de [[Estructuras_de_Programación|estructuras de programación]]:

*Las instrucciones son o una instrucción simple o una secuencia ordenada de instrucciones ([[Estructura_secuencial|estructura secuencial]]).
*Según el resultado de una expresión lógica se ejecuta una instrucción u otra ([[Estructura_Condicional|estructura condicional]] o alternativa).
*  Mientras una condición se mantenga verdadera ejecutar una instrucción (estructura iterativa, ciclica o de bucle).

La demostración se realizó sobre las los [[Diagramas_de_flujo|diagramas de flujo]] y [[Lenguaje_de_Programación_P|P]], el lenguaje diseñado por Böhm.

La 2da y 3ra esctructuras propuestas se corresponden a las clásicas IF...THEN...ELSE y WHILE, respectivamente.

== Implicaciones ==

Del Teorema del Programa Estructurado se establece que todos los [[Algoritmo|algoritmos]] que se pueden desarrollar en una computadora pueden escribirse de siguiendo lo que luego se conocería como uno de los paradigmas dentro de la programación imperativa, la programación estructurada y con él se demostraba la capacidad expresiva de ésta para el desarrollo de soluciones computacionales.

En su demostración se probaba que todo diagrama de flujo puede transcribirse a uno estructurado y se establecía un método formal para realizar la conversión aunque después el programador pudiera refinarla.

También daba una idea de las tres estructuras que serían indispensables a la hora de diseñar un lenguaje estructurado: secuencial, condicional y cíclica; aunque es evidente que puede extenderse a otras estructuras derivadas de estas que enriquezcan la expresión semántica y sintáctica del lenguaje en cuestión.

Lo que sí el artículo donde aparece el teorema no deja claro es cuándo es más pertinente el uso de la programación estructurada por sobre otros paradigmas.

Y como dato interesante, después de esta formalización se generó el fuerte debate sobre la existencia o no de la instrucción de salto GOTO, que ha llegado hasta nuestros días; sin embargo, existe el consenso acerca de que la misma no es necesaria en los lenguajes de alto nivel y que su presencia solo entorpece la legibilidad y elegancia del código, aunque todavía aparece la implementación de GOTO en muchos lenguajes modernos. El debate comenzó con Edsger Dijkstra quien escribió "La sentencia Go To considerada dañina" (1968), una carta considerada hoy un clásico, como la mayoría de los trabajos del científico.

== Debates acerca del teorema ==

Normalmente la originalidad de la idea se data oficial del artículo "Flow diagrams, Turing Machines and Languages with only Two Formation Rules" (Comm. of the ACM, 9(5): 366-371,1966), de Corrado Böhm y Giuseppe Jacopini; aunque otros especialistas como David Harel argumentan haber encontrado los rastros en trabajos clasicos de cientistas anteriores como las definiciones formales de la arquitectura de computadoras de von Newmann y las formas normales de Kleene.<br>

== Fuentes ==

#Corrado Böhm y Giuseppe Jacopini, "Flow diagrams, Turing Machines and Languages with only Two Formation Rules". Comm. of the ACM, 9(5): 366-371,1966. http://portal.acm.org/citation.cfm?id=365646&jmp=cit&dl=GUIDE&dl=ACM#CIT
#CSE 111, Fall 2004. http://www.cse.buffalo.edu/~rapaport/111F04/greatidea3.html
#Dijkstra, Edsger W. (1968), "Go To Statement Considered Harmful" (Letter to the Editor), Communications of the ACM 11(3) (March): 147-148. http://www.acm.org/classics/oct95/

[[Category:Lenguajes_de_programación|Lenguajes_de_programación]][[Category:Lenguajes_de_programación_por_paradigma]]

← Revisión anterior		Revisión del 03:29 4 sep 2019
Línea 1:		Línea 1:
−	~~<div align="justify">~~	+
	'''Teorema del programa estructurado'''. ([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). [[Teorema]] que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un [[Lenguaje de programación\|lenguaje]] basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".		'''Teorema del programa estructurado'''. ([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). [[Teorema]] que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un [[Lenguaje de programación\|lenguaje]] basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".

@@ Línea 1: / Línea 1: @@
-{{ Mejorar}} {{Normalizar}}
+<div align="justify">
-'''Teorema del programa estructurado''' ([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). Teorema que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un lenguaje basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".
+'''Teorema del programa estructurado'''. ([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). [[Teorema]] que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un [[Lenguaje de programación|lenguaje]] basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".
 == Teorema del programa estructurado ==
@@ Línea 12: / Línea 12: @@
 La demostración se realizó sobre las los [[Diagramas_de_flujo|diagramas de flujo]] y [[Lenguaje_de_Programación_P|P]], el lenguaje diseñado por Böhm.
-[[Archivo:Estructura_secuencial_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura secuencial]]
+{|
-[[Archivo:Estructura_condicional_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura alternativa]]
+|-
-[[Archivo:Estructura_ciclica_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura ciclica]]
+|[[Archivo:Estructura_secuencial_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura secuencial]]
 La 2da y 3ra esctructuras propuestas se corresponden a las clásicas IF...THEN...ELSE y WHILE, respectivamente.

@@ Línea 1: / Línea 1: @@
 {{ Mejorar}} {{Normalizar}}
-([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). Teorema que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un lenguaje basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".
+'''Teorema del programa estructurado''' ([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). Teorema que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un lenguaje basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".
 == Teorema del programa estructurado ==

← Revisión anterior		Revisión del 13:54 6 may 2011
Línea 1:		Línea 1:
		+	{{ Mejorar}} {{Normalizar}}
	([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). Teorema que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un lenguaje basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".		([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). Teorema que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un lenguaje basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".

@@ Línea 11: / Línea 11: @@
 La demostración se realizó sobre las los [[Diagramas_de_flujo|diagramas de flujo]] y [[Lenguaje_de_Programación_P|P]], el lenguaje diseñado por Böhm.
-[[Archivo:Estructura_secuencial_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura alternativa]]
+[[Archivo:Estructura_secuencial_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura secuencial]]
 [[Archivo:Estructura_condicional_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura alternativa]]
-[[Archivo:Estructura_ciclica_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura alternativa]]
+[[Archivo:Estructura_ciclica_df.PNG|200px|thumb|left|Esquema de un diagrama de flujo de estructura ciclica]]
 La 2da y 3ra esctructuras propuestas se corresponden a las clásicas IF...THEN...ELSE y WHILE, respectivamente.

@@ Línea 36: / Línea 36: @@
 #CSE 111, Fall 2004. http://www.cse.buffalo.edu/~rapaport/111F04/greatidea3.html
 #Dijkstra, Edsger W. (1968), "Go To Statement Considered Harmful" (Letter to the Editor), Communications of the ACM 11(3) (March): 147-148. http://www.acm.org/classics/oct95/
 [[Category:Lenguajes_de_programación|Lenguajes_de_programación]][[Category:Lenguajes_de_programación_por_paradigma]]

← Revisión anterior		Revisión del 19:22 26 mar 2011
Línea 1:		Línea 1:
		+	([[Corrado Böhm]], [[Giuseppe Jacopini]], 1966). Teorema que soporta la posibilidad que tiene la programación estructurada de expresar un algoritmo computable cualquiera mediante un lenguaje basado solo en secuencias de instrucciones, alternativas y ciclos tipo "while".
		+
	== Teorema del programa estructurado ==		== Teorema del programa estructurado ==

@@ Línea 8: / Línea 8: @@
 La demostración se realizó sobre las los [[Diagramas_de_flujo|diagramas de flujo]] y [[Lenguaje_de_Programación_P|P]], el lenguaje diseñado por Böhm.
 La 2da y 3ra esctructuras propuestas se corresponden a las clásicas IF...THEN...ELSE y WHILE, respectivamente.
@@ Línea 21: / Línea 23: @@
 Lo que sí el artículo donde aparece el teorema no deja claro es cuándo es más pertinente el uso de la programación estructurada por sobre otros paradigmas.
-Y como dato interesante, después de esta formalización se generó el fuerte debate sobre la existencia o no de la instrucción de salto GOTO, que ha llegado hasta nuestros días; sin embargo, existe el consenso acerca de que la misma no es necesaria en los lenguajes de alto nivel y que su presencia solo entorpece la legibilidad y elegancia del código, aunque todavía aparece la implementación de GOTO en muchos lenguajes modernos. El debate comenzó con Edsger Dijkstra quien escribió "La sentencia Go To considerada dañina" (1968), una carta considerada hoy un clásico, como la mayoría de los trabajos del científico.
+Y como dato interesante, después de esta formalización se generó el fuerte debate sobre la existencia o no de la instrucción de salto [[GOTO]], que ha llegado hasta nuestros días; sin embargo, existe el consenso acerca de que la misma no es necesaria en los lenguajes de alto nivel y que su presencia solo entorpece la legibilidad y elegancia del código, aunque todavía aparece la implementación de GOTO en muchos lenguajes modernos. El debate comenzó con [[Edsger Dijkstra]] quien escribió [["La sentencia Go To considerada dañina"]] (1968), una carta considerada hoy un clásico, como la mayoría de los trabajos del científico.
 == Debates acerca del teorema ==
-Normalmente la originalidad de la idea se data oficial del artículo "Flow diagrams, Turing Machines and Languages with only Two Formation Rules" (Comm. of the ACM, 9(5): 366-371,1966), de Corrado Böhm y Giuseppe Jacopini; aunque otros especialistas como David Harel argumentan haber encontrado los rastros en trabajos clasicos de cientistas anteriores como las definiciones formales de la arquitectura de computadoras de von Newmann y las formas normales de Kleene.<br>
+Normalmente la originalidad de la idea se data oficial del artículo "Flow diagrams, Turing Machines and Languages with only Two Formation Rules" (Comm. of the ACM, 9(5): 366-371,1966), de Corrado Böhm y Giuseppe Jacopini; aunque otros especialistas como [[David Harel]] argumentan haber encontrado los rastros en trabajos clasicos de cientistas anteriores como las definiciones formales de la arquitectura de computadoras de von Newmann y las formas normales de Kleene.<br>
 == Fuentes ==

Teorema del programa estructurado - Historial de revisiones

Carlos idict: Texto reemplazado: «» por «»

Jhonlier12017 jc.hlg en 14:17 26 may 2011

Jhonlier12017 jc.hlg en 19:09 14 may 2011

Gloria ciget.hol en 13:54 6 may 2011

Jhonlier12017 jc.hlg: /* Teorema del programa estructurado */

Jhonlier12017 jc.hlg: /* Teorema del programa estructurado */

Jhonlier12017 jc.hlg: /* Fuentes */

Jhonlier12017 jc.hlg en 19:22 26 mar 2011

Jhonlier12017 jc.hlg en 19:17 26 mar 2011

Jhonlier12017 jc.hlg: Página creada con '== Teorema del programa estructurado == La teoría de lenguajes de programación tiene varios hitos en su desarrollo, el presente teor...'

Carlos idict: Texto reemplazado: «
» por «»