UNIVERSIDAD TECNOLGICA DE LA MIXTECA

Autmatas y Lenguajes Formales

Biografa de Alan Turing
Presenta: Salinas Hernndez Fabin
Grupo: 402-A
Semestre: 2016-B
Fecha: 4 de marzo de 2016

Los orgenes de Alan Turing

Alan Mathison Turing naci en Paddington el 23 de junio de 1912. Sus padres Julius y Ethel
residan en la India debido a que Julius trabajaba de funcionario en la India, pero decidieron
volver al Reino Unido para que su hijo naciera all. Esto hizo que Alan tuviera una infancia
peculiar debido a los constantes viajes de sus padres entre Inglaterra e India durante los
cuales dejaban a sus hijos al cargo de amigos.
A los 12 aos entra en Sherborne School. Su jefe de estudios dijo de l si lo nico que quiere
ser es un especialista cientfico, est perdiendo el tiempo en una escuela pblica. Durante
su estancia en dicha escuela Turing perdi a su amigo Christopher Morcom por una
tuberculosis bovina contrada tras beber leche de vaca infectada. Esto le hizo perder su fe
religiosa y convertirse en ateo.
Tras Sherborne School, Turing fue a Kings College en Cambridge. A pesar de que destac
en el campo de las matemticas y la computabilidad, en un artculo suyo de 1950 mostrar
un toque filosfico/moralista ya que relacion el concepto matemtico de la
computabilidad con problemas tradicionales como la separacin de la mente y cuerpo, el
libre albedro y el determinismo.
En 1931 formaliza el concepto de mquina de Turing sustituyendo as el lenguaje formal
que Kurt Gdel utilizaba sobre los lmites de la computacin y la demostrabilidad. En 1935
es nombrado profesor del Kings College, a la temprana edad de 22 aos.

La Mquina de Turing
Una mquina de Turing, es un dispositivo terico que manipula smbolos sobre una cinta de
acuerdo con una tabla de reglas definida. Este modelo computacional puede ser adaptado
para simular la lgica de cualquier algoritmo y es particularmente til en la labor de explicar
el funcionamiento de una CPU.
La mquina de Turing fue descrita por Alan Turing en 1936 como respuesta al ensayo del
matemtico alemn David Hilbert On Computable Numbers, with an Application to the
Entscheidungsproblem donde demostr que algunas de estas mquinas de Turing seran
capaces de realizar cualquier clculo matemtico concebible si fuera representable con un

algoritmo. Tambin prob que no existe solucin al Entscheidungsproblem (problema de

decisin) ya que demuestra que no es posible decidir, en general, algortmicamente si una
mquina de Turing se encuentra en parada.

Participacin en la lucha contra Enigma

Figura 1. La mquina Enigma

La Enigma fue una mquina electro mecnica con rotor usada para enviar mensajes
cifrados por la Alemania nazi durante la Segunda Guerra Mundial. Alan Turing particip
activamente en el desarrollo de dispositivos de anlisis criptogrfico as como aportando
muchas de las ideas que llevaron al posterior xito en la ruptura del algoritmo de cifrado
que utilizaba la mquina y que supuso un gran avance en la victoria de los aliados en la
contienda.
Turing especific un mecanismo electro mecnico que ayudaba en la misin de romper el
algoritmo de la mquina Enigma ms rpidoque bomba que era el dispositivo de
facturacin polaca que se estaba usando hasta la fecha. Al nuevo dispositivo se le
llam bombe al ser construida sobre el diseo original polaco.
Bombe mejorado con sugerencias realizadas por el matemtico Gordon Welchman, se
convirti en una de las principales herramientas automatizadas en la lucha contra el
trfico de mensajes protegidos con Enigma por la Alemania nazi.
Turing decidi tomar parte en resolver el problema con la Enigma naval Alemana porque y
segn sus palabras porque nadie ms est haciendo nada al respecto as que tendr que
hacerlo yo mismo. En diciembre de 1939, Turing ya haba resueltola parte esencial del

sistema de indicadores que era ms complejo que el utilizado por otros servicios de la
Alemania nazi.

El Test de Turing
En 1950, Turing abord el problema de la inteligencia artificial y propuso el experimento
que hoy se conoce como el test de Turing cuya intencin era intentar definir un estndar
por el cual se pudiera conocer si una mquina poda ser llamada inteligente.
La idea consista en que se puede llegar a decir que una computadora piensa si un
interrogador humano no pudiera distinguir a travs de una conversacin, si estuviera
conversando con un ser humano o con una mquina.

Figura 2. Ejemplo de CAPTCHA

Los captchas que normalmente nos encontramos por internet, son un tipo de test de Turing,
de hecho, la palabra CAPTCHA es un acrnimo de Completely Automated Public Turing test
to tell Computers and Humans Apart.

Procesamiento por indecencia (homosexualidad)

En enero de 1952, Turing conoci a Arnold Murray a la salida de una sala de cine. Despus
de una cita para comer, Turing invit a Murray a pasar un fin de semana en su casa,
invitacin que Murray acept a pesar de que no se present. Se reunieron nuevamente en
Manchester el lunes siguiente, en esa ocasin, Murray acept acompaar a Turing a su
casa.

Unas semanas ms tarde, Murray visit la casa de Turing de nuevo, y parece ser que
pasaron la noche juntos. Ms tarde, Murray ayudado por un cmplice entraron en casa de
Turing, el cual denunci el hecho a las autoridades. Durante la investigacin, Turing
reconoci haber mantenido una relacin sexual con Murray. Los actos homosexuales eran
ilegales en Reino Unido en 1952 y por tanto fue acusado de indecencia grave en virtud del
artculo 11 del Cdigo Penal que fue el mismo delito por el que fue condenado Oscar
Wilde cincuenta aos atrs.
Se le dio la opcin de entrar en prisin o la libertad condicional bajo acuerdo de
someterse a un tratamiento hormonal de castracin qumica a base de estrgenos. El la
acept, el tratamiento le produjo desastrosos efectos secundarios como aparicin de
pechos y obesidad. Se le retir su permiso de seguridad y se le prohibi seguir con sus
labores de consultora de cifrado. No se le revoc el pasaporte britnico pero Estados
Unidos le neg la entrada en su territorio.

Muerte
El 8 de junio de 1954, Turing fue encontrado muerto por su personal de limpieza. Un
examen post-morten estableci que la causa de la muerte fue envenenamiento por
cianuro ingerida al parecer al comer parte de una manzana baada en esa sustancia que
adems se encontraba en la mesita al lado de su cama.

Post mortem
El Gobierno Britnico hizo una disculpa pblica a ttulo pstumo a travs de Gordon Brown
el diez de Septiembre del 2009 por haber procesado y perseguido a Alan Turing por ser
homosexual. Es cuanto menos paradjico que Turing fuera procesado y perseguido a causa
de su homosexualidad por un Gobierno que calificaba de monstruosos los actos del nazismo
por procesar y perseguir a individuos por su credo religioso.

Bibliografa

Andrew Hodges, Alan Turing: The Enigma, United States, Princeton University Press, 2012,
p. 65-68.
Genbetadev [en linea]. Alan Turing, padre de la informtica moderna y paria social.
[Consulta: 4 de marzo de 2016]. Disponible en:
http://www.genbetadev.com/desarrolladores/alan-turing-padre-de-la-informaticamoderna-y-paria-social
Blog Historia de la informtica Universitat Politcnica de Valncia [en linea]. Alan Turing.
[Consulta: 4 de marzo de 2016]. Disponible en:
http://histinf.blogs.upv.es/2010/11/01/breve-biografia-de-alan-turing/