teorema de bhom
Páginas: 3 (592 palabras)
Publicado: 25 de noviembre de 2013
El teorema de Böhm-Jacopini
El teorema de Böhm-Jacopini es un enunciado que data de los años 60, en el que se prueba formalmente que cualquier algoritmo puede prescindir de saltos incondicionales.Se trata de consideraciones del pasado, que hoy en día no tienen utilidad directa aunque su importancia histórica es indiscutible.
A finales de los años 60 se inició una pequeña revolución en elmundillo de la programación que daría paso a la programación estructurada.
En aquella época, parece ser que se alzaron muchas voces en contra de la que hoy conocemos como "programacióndesestructurada". Por aquel entonces no creo que le hubieran puesto nombre. Por lo visto, cada uno programaba como buenamente podía, sin demasiado orden ni criterio, y principalmente, la programación estaballena de saltos incondicionales (tipo goto) que hacían muy muy difícil sacar conclusiones acerca de los algoritmos, como por ejemplo, simplemente saber si funcionaban correctamente. Una de esas voces,por ejemplo, fue Edsger Dijkstra, que con su conocido artículo del 68 Go To Statement Considered Harmful (La sentencia Go To se considera dañina) empezaba a poner en evidencia los problemas queestaban surgiendo, a pesar de que él decía que no era su intención inicial. Tampoco fue el único... también lo hicieron otros nombres como Robert W. Floyd oHarlan D. Mills
En el principio de todoaquello, que culminó con la programación estructurada que nos ha llegado hasta hoy parece ser qeu se dio importancia clave a la publicación en 1966 del conocido como teorema de la estructura ode Böhm-Jacopini en honor de Corrado Böhm y Giuseppe Jacopini.
Básicamente, este teorema nos dice que:
Todo algoritmo propio puede ser expresado en términos de sólo tres tipos de estructura:
secuencial (esdecir, poner instrucciones en orden, una detrás de otra, y que sean ejecutadas en ese orden)
condicional (es decir, hacer una cosa en función de una concidición -con estructuras como if,...
El teorema de Böhm-Jacopini es un enunciado que data de los años 60, en el que se prueba formalmente que cualquier algoritmo puede prescindir de saltos incondicionales.Se trata de consideraciones del pasado, que hoy en día no tienen utilidad directa aunque su importancia histórica es indiscutible.
A finales de los años 60 se inició una pequeña revolución en elmundillo de la programación que daría paso a la programación estructurada.
En aquella época, parece ser que se alzaron muchas voces en contra de la que hoy conocemos como "programacióndesestructurada". Por aquel entonces no creo que le hubieran puesto nombre. Por lo visto, cada uno programaba como buenamente podía, sin demasiado orden ni criterio, y principalmente, la programación estaballena de saltos incondicionales (tipo goto) que hacían muy muy difícil sacar conclusiones acerca de los algoritmos, como por ejemplo, simplemente saber si funcionaban correctamente. Una de esas voces,por ejemplo, fue Edsger Dijkstra, que con su conocido artículo del 68 Go To Statement Considered Harmful (La sentencia Go To se considera dañina) empezaba a poner en evidencia los problemas queestaban surgiendo, a pesar de que él decía que no era su intención inicial. Tampoco fue el único... también lo hicieron otros nombres como Robert W. Floyd oHarlan D. Mills
En el principio de todoaquello, que culminó con la programación estructurada que nos ha llegado hasta hoy parece ser qeu se dio importancia clave a la publicación en 1966 del conocido como teorema de la estructura ode Böhm-Jacopini en honor de Corrado Böhm y Giuseppe Jacopini.
Básicamente, este teorema nos dice que:
Todo algoritmo propio puede ser expresado en términos de sólo tres tipos de estructura:
secuencial (esdecir, poner instrucciones en orden, una detrás de otra, y que sean ejecutadas en ese orden)
condicional (es decir, hacer una cosa en función de una concidición -con estructuras como if,...
Leer documento completo
Regístrate para leer el documento completo.