Instituto Politecnico Nacional - Escuela Superior de Computo (ESCOM).

Algoritmia y Programacion.
Grupo: 1CM4.
Autor: Perez Montiel Ulises.
-Biografa de Edsger Wybe Dijkstra (1930 2002).
Naci o en 1930 en Rotterdam, Holanda. Era hijo de Wybe Douwe Dijk-
stra y Brechtje Cornelia Kruyper, y tena tres hermanos m as. Su padre era
profesor de fsica en la escuela secundaria de Rotterdam, mientras que su
madre era matematica.
En 1951, Dijkstra vio un anuncio de la Universidad de Cambridge sobre
un curso de tres semanas que trataba la programacion en computadores. Se
interes o mucho por este curso y decidio apuntarse, ya que lo vea como una
oportunidad esta actividad, que consideraba muy ligada a su campo, la fsica
te orica.
Aad van Wijngaarden, que era el director del Departamento de Ciencia
de la Computaci on del Centro Matematico en Amsterdam, haba hecho el
mismo curso en Cambridge en el a no anterior y cuando se enter o de que Di-
jkstra haba terminado, le ofreci o un puesto como programador del Centro
de Matem aticas. Dijkstra acepto el cargo desde marzo de 1952, pero solo
como una posicion a tiempo parcial, ya que segua siendo estudiante de fsica
te orica en la Universidad de Leyden. A pesar de esto, Dijkstra empezaba
a decantarse m as por la programacion que por la fsica te orica, ya que le
supona un reto mayor, al ser una rama del saber practicamente nueva, con
mucho por descubrir.
Dijkstra completo sus estudios en fsica te orica en la universidad, gradu andose
en 1956. Tambien en 1956, el Centro de Matem aticas de Amsterdam, en el
que trabajaba complet o la construccion de una nueva computadora y quera
hacer una demostracion p ublica. Para ello, Dijkstra, planteo el problema
de encontrar el camino m as corto entre dos ciudades de los Pases Bajos.
Public o su algoritmo, muy ecaz, que ha perdurado hasta nuestros das,
1
y conocido popularmente como el algoritmo de Djikstra (o algoritmo de
caminos mnimos). La idea de este algoritmo consiste en ir explorando todos
los caminos m as cortos que parten del vertice origen y que llevan a todos
los dem as vertices; cuando se obtiene el camino m as corto desde el vertice
origen, al resto de vertices que componen el grafo, el algoritmo se detiene.
Tambien en 1959 fue galardonado con el doctorado de la Universidad de
Amsterdam por su tesis La comunicacion con un equipo automatico.
Dijkstra tambien colabor o con el equipo de desarrollo del lenguaje de
programaci on ALGOL-60. Hizo varias contribuciones importantes: la intro-
ducci on explcita de la recursividad y la nocion de pila. Dijkstra, junto con
uno de sus colegas en el Centro de Matematicas, escribio el primer compi-
lador de ALGOL-60, que se completo en agosto de 1960.
Muy parecido a C, que fue uno de los sucesores de este lenguaje, ademas
de Ada y Pascal.
En 1962 Dijkstra fue nombrado profesor de Matem aticas en la Universi-
dad de Tecnologa de Eindhoven. En este momento esta universidad no tenia
Departamento de Inform atica, asi que el construyo un equipo de cientcos de
la computaci on en el departamento de Matem aticas, y desarroll o el sistema
operativo THE (Technische Hogeschool te Eindhoven). Muchas de las fun-
ciones de este sistema operativo se han convertido en caractersticas est andar
en todos los sistemas operativos futuros. Entre ellas destaca el concepto de
deadlock (interbloqueo). Su soluci on fue a traves de sem aforos y regiones
de codigo con acceso exclusivo. Dijkstra describio el problema con la cena
de los famosos cinco l osofos que s olo tenan cinco palillos para comer arroz.
Si ellos no se ponan de acuerdo y tomaban un palillo cada uno, creaban un
deadlock y moran de hambre pues se necesitaban dos palillos para comer.
Esta es la base de la programaci on concurrente y una parte fundamental de
cualquier sistema operativo.
Dijkstra acu no personalmente el termino crisis del software, y desde los
a nos 1970, el principal interes de Dijkstra fue la vericacion formal (encon-
trar una demostracion o prueba de correcci on de un programa). La opini on
que prevaleca entonces era que uno debe primero escribir un programa y
seguidamente proporcionar una prueba matem atica de su correcci on. Dijk-
2
stra objet o que las pruebas que resultan son largas e inc omodas, y que la
prueba no da ninguna comprensi on de c omo se desarrollo el programa. Un
metodo alternativo es la derivaci on de programas, desarrollar prueba y pro-
grama conjuntamente. Uno comienza con una especicaci on matem atica del
programa que se supone va a hacer y aplica transformaciones matem aticas
a la especicacion hasta que se transforma en un programa que pueda ser
ejecutado. El programa que resulta entonces es sabido correcto por la con-
strucci on. Muchos de los ultimos trabajos de Dijkstra tratan sobre las man-
eras de hacer llevadera la argumentaci on matematica.
En 1972 recibi o el premio Turing, y su discurso fue publicado en un
artculo titulado The Humble Programmer (el programador humilde).
En 1984 se le ofreci o un puesto en el Burroughs Research Center de
Austin, Texas, donde permanecio hasta retirarse en 1999.
Finalmente murio en el a no 2002 en Nuenen, Holanda, tras una larga
enfermedad de cancer.
Bibliograa:
http://histinf.blogs.upv.es/2010/10/28/dijkstra/
-Instrucci on GO TO Considerada da nina.
Por Edsger Wybe Dijkstra
Edsger argumenta que la sentencia go to debera ser prohibida para
lenguajes de alto nivel, esto porque diculta el an alisis y la vericaci on de
programas, denotando aquellos que tienen ciclos y son demasiado extenso.
Bibliograa:
http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF
3