Biografa de Alan Turing

Lenguajes formales y teora de autmatas

Lorenzo Alejo 13-1087
Prof. Rina Familia

Alan Turing
(Alan
Mathison
Turing;
Londres,
1912-Wilmslow,
Reino
Unido,
1954)
Matemtico britnico. Pas sus
primeros trece aos en la
India,
donde
su
padre
trabajaba en la Administracin
colonial. De regreso al Reino
Unido, estudi en el King's
College y, tras su graduacin,
se traslad a la Universidad
estadounidense de Princeton,
donde trabaj con el lgico A.
Church.
El matemtico britnico pas
gran parte de su infancia en la India dado que su padre tena el lugar de
trabajo en la Administracin Colonial del pas. Desde muy pequeo, Turing
mostr un gran inters por la lectura, los nmeros y los rompecabezas; sus
ansias de conocimiento y experimentacin llegaban hasta tal punto que a los
ocho aos, atrado por la qumica, dise un pequeo laboratorio en su casa.
Su carrera escolar estuvo marcada, por un lado, por sus aptitudes y su
facilidad por las matemticas y, por el otro, por su carcter inconformista
que le llevaba a seguir sus propias ideas y apartarse del rgido (e ilgico,
segn su parecer) sistema educativo. Como curiosidad, cabe decir que Turing
recorra alrededor de 90 kilmetros para poder ir a la escuela, dato que nos
hace entender como, ms adelante, adems de cientfico, fue un atleta
notable de rango casi olmpico. En la escuela de Sherbone, gan la mayor
parte de los premios matemticos que se otorgaban y, adems, realizaba
experimentos qumicos por su cuenta aunque la opinin del profesorado
respecto a la independencia y ambicin de Turing no era demasiado
favorable. Con poco ms de quince aos, entr en contacto con el trabajo de

Albert Einstein y, adems de entender sus bases, comprendi las crticas de

ste a las Leyes de Newton a partir de un texto en el que no se explicitaba
tal
cometido.
En 1934, Turing se gradu en la Licenciatura de Matemticas en la
Universidad de Cambridge y, en 1936 public el artculo "Los nmeros
computables, con una aplicacin al Entscheidungsproblem" en el que ya
hablaba del concepto de algoritmo y expona las bases de su mquina de
calcular: la Mquina Universal (de Turing). La base de sta mquina ficticia
-no se lleg a disear- es la posibilidad de aceptar programas finitos de
longitud arbitraria, es decir, limitar y simplificar las posibilidades numricas,
funcin que no podan realizar las mquinas de calcular del momento. La
mquina de Turing poda llevar a cabo todo tipo de operaciones con la misma
lgica que el clculo humano a partir de ciertas bases como tener un nmero
finito de smbolos, resultados o instrucciones. La mquina consta de un
aparato de lectura y escritura ante el cual se desplaza, en ambas direcciones,
una cinta potencialmente infinita dividida en casillas. La mquina puede
encontrarse en un estado pasivo (finito) o activo (infinito). En su
funcionamiento, dado un estado activo y una determinada inscripcin de la
cinta, la mquina realiza una accin elemental y, si el resultado vuelve a ser
activo, la mquina acta de nuevo hasta alcanzar un estado pasivo. La puesta
en prctica de la Mquina Turing no fue posible hasta sus trabajos posteriores
durante la Segunda Guerra mundial.
En 1937 public un clebre artculo en el que defini una mquina calculadora
de capacidad infinita (mquina de Turing) que operaba basndose en una
serie de instrucciones lgicas, sentando as las bases del concepto moderno
de algoritmo. As, Turing describi en trminos matemticos precisos cmo
un sistema automtico con reglas extremadamente simples poda efectuar
toda clase de operaciones matemticas expresadas en un lenguaje formal
determinado. La mquina de Turing era tanto un ejemplo de su teora de
computacin como una prueba de que un cierto tipo de mquina
computadora poda ser construida.
La Segunda Guerra Mundial ofreci un insospechado marco de aplicacin
prctica de sus teoras, al surgir la necesidad de descifrar los mensajes
codificados que la Marina alemana empleaba para enviar instrucciones a los
submarinos que hostigaban los convoyes de ayuda material enviados desde
Estados Unidos; Turing, al mando de una divisin de la Inteligencia britnica,
dise tanto los procesos como las mquinas que, capaces de efectuar

clculos combinatorios mucho ms rpido que cualquier ser humano, fueron

decisivos en la ruptura final del cdigo.
Defini adems un mtodo terico para decidir si una mquina era capaz de
pensar como un hombre (test de Turing) y realiz contribuciones a otras
ramas de la matemtica aplicada, como la aplicacin de mtodos analticos
y mecnicos al problema biolgico de la morfognesis. En el mbito personal,
su condicin de homosexual fue motivo constante de fuertes presiones
sociales y familiares, hasta el punto de especularse si su muerte por
intoxicacin fue accidental o se debi a un intento de suicidio.

http://www.biografiasyvidas.com/biografia/t/turing.htm
http://www.upf.edu/pdi/dcom/xavierberenguer/recursos/fig_calc/_9_/estampes/2_3.htm