Teorema del programa estructurat
La teorema del programa estructurat és un resultat en la teoria de llenguages de programació. Establix que tota funció computable pot ser implementada en un llenguage de programació que combine només tres estructures llògiques. Eixes tres formes (també cridades estructures de control) específicament són:
- Seqüència: eixecució d'una instrucció despuix d'una atra.
- Selecció: eixecució d'una de dos instruccions (o conjunts), segons el valor d'una variable booleana.
- Iteración: eixecució d'una instrucció (o conjunt) mentres una variable booleana siga 'verdadera'. Esta estructura llògica també es coneix com a cicle o bucle.
Esta teorema demostra que l'instrucció GOTO no és estrictament necessària i que para tot programa que l'utilise existix un atre equivalent que no fa us de dita instrucció.
Els científics de la computació usualment acrediten la teorema a un artícul de 1966 escrit per Corrado Böhm i Giuseppe Jacopini. No obstant, David Harel va rastrejar els seus orígens fins a la descripció de 1946 de l'arquitectura de von Neumann i la teorema de la forma normal de Kleene.
La demostració de Böhm-Jacopini descriu cóm construir diagrames de fluix estructurats a partir de qualsevol diagrama de fluix, usant els bits d'una variable sancera extra per a donar seguiment a l'informació que el programa original representa per mig de punts d'entrada en el còdic. Esta construcció va estar basada en el llenguage de programació P′′ de Böhm. La demostració de Böhm-Jacopini no va clarificar la qüestió sobre quàn convindria usar programació estructurada per al desenroll de software, en part perque la construcció ofuscaba el còdic del programa en lloc de millorar-ho. Per un atre costat, va anar el punt de partida per a iniciar el debat. Edsger Dijkstra va escriure una important carta titulada "La sentència Go To considerada amoladora" en l'any 1968. Posteriors estudis varen agregar aproximacions més pràctiques a la demostració de Böhm-Jacopini, que mantenien o milloraven la claritat del programa original.[1]
Referències
[editar | editar còdic]Bibliografia
[editar | editar còdic]- (1971).
- 9(5)
- 366–371.doi:10.1145/355592.365646.
- (1980).23(7)
- 379–389.doi:10.1145/358886.358892.
- (1968).11(3)
- 147–148.doi:10.1145/362929.362947. https://web.archive.org/web/20070703050443/http://www.acm.org/classics/oct95/
Vore també
[editar | editar còdic]
Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Teorema del programa estructurado» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.