Lenguajes y Autmatas 1. Tarea 2.

Unidad 4.
Zapata Malpica Mara.

1
BIOGRAFIA DE ALAN MATHISON TURING.
Alan Mathison Turing, OBE (Paddington, Londres, 23 de
junio de 1912 - Wilmslow, Cheshire, 7 de junio de 1954), fue
un matemtico, lgico,cientfico de la
computacin, criptgrafo y filsofo britnico.
Es considerado uno de los padres de la ciencia de la
computacin siendo el precursor de la informtica moderna.
Proporcion una influyente formalizacin de los conceptos
de algoritmo y computacin: la mquina de Turing. Formul su
propia versin de la hoy ampliamente aceptada Tesis.
Durante la Segunda Guerra Mundial, trabaj en descifrar los
cdigos nazis, particularmente los de la mquina Enigma; durante
un tiempo fue el director de la seccin Naval Enigma del Bletchley
Park. Tras la g3uerra dise uno de los primeros computadores
electrnicos programables digitales en el Laboratorio Nacional de
Fsica del Reino Unido y poco tiempo despus construy otra de las primeras mquinas en
la Universidad de Mnchester.
Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de
si las mquinas pueden pensar, es decir a la Inteligencia Artificial.
La carrera de Turing termin sbitamente luego de ser procesado por ser homosexual. Turing se
suicid dos aos despus de su condena.
El 24 de diciembre de 2013, la reina Isabel II de Inglaterra promulg el edicto por el que se exoner
oficialmente al matemtico, quedando anulados todos los cargos en su contra.
Tesis Church-Turing.
La tesis de Church-Turing formula hipotticamente la equivalencia entre los conceptos de funcin
computable y mquina de Turing, que expresado en lenguaje corriente vendra a ser "todo algoritmo es
equivalente a una mquina de Turing". No es en s un teorema matemtico, es una
afirmacin formalmente indemostrable, una hiptesis que, no obstante, tiene una aceptacin
prcticamente universal.
La tesis Church-Turing postula que cualquier modelo computacional existente tiene las mismas
capacidades algortmicas, o un subconjunto, de las que tiene una mquina de Turing.
La Mquina de Turing.
En su memorable estudio "Los nmeros computables, con una aplicacin al Entscheidungsproblem" (publicado
en 1936), Turing reformul los resultados obtenidos por Kurt Gdel en 1931 sobre los lmites de la
demostrabilidad y la computacin, sustituyendo al lenguaje formal universal descrito por Gdel por lo
que hoy se conoce como Mquina de Turing, unos dispositivos formales y simples.
Turing demostr que dicha mquina era capaz de implementar cualquier problema matemtico que
pudiera representarse mediante un algoritmo. Las mquinas de Turing siguen siendo el objeto central
de estudio en la teora de la computacin. Lleg a probar que no haba ninguna solucin para el
Lenguajes y Autmatas 1. Tarea 2.
Unidad 4.
Zapata Malpica Mara.

2
problema de decisin, Entscheidungsproblem, demostrando primero que el problema de la parada para las
mquinas de Turing es irresoluble: no es posible decidir algortmicamente si una mquina de Turing
dada llegar a pararse o no. Aunque su demostracin se public despus de la demostracin
equivalente de Alonzo Church respecto a su clculo lambda, el estudio de Turing es mucho ms
accesible e intuitivo. Tambin fue pionero con su concepto de "Mquina Universal (de Turing)", con la
tesis de que dicha mquina podra realizar las mismas tareas que cualquier otro tipo de mquina. Su
estudio tambin introduce el concepto de nmeros definibles.
Mquinas Oracle.
La mayor parte de 1937 y 1938 la pas en la Universidad de Princeton, estudiando bajo la direccin de
Alonzo Church. En 1938 obtuvo el Doctorado en Princeton; en su discurso introdujo el concepto
de hipercomputacin, en el que ampliaba las mquinas de Turing con las llamadas mquinas oracle, las
cuales permitan el estudio de los problemas para los que no existe una solucin algortmica.
Tras su regreso a Cambridge en 1939, asisti a las conferencias de Ludwig Wittgenstein sobre las bases
de las matemticas. Ambos discutieron y mantuvieron un vehemente desencuentro, ya que Turing
defenda el formalismo matemtico y Wittgenstein criticaba que las matemticas estaban
sobrevaloradas y no descubran ninguna verdad absoluta.
Anlisis criptogrfico (ruptura de cdigos).
Durante la Segunda Guerra Mundial fue uno de los principales artfices de los trabajos del Bletchley
Park para descifrar los cdigos secretos nazis. Sus perspicaces observaciones matemticas
contribuyeron a romper los cdigos de la mquina Enigma y de los codificadores de teletipos
FISH (mquinas de teletipos codificados que fabricaron conjuntamente Lorenz Electric y Siemens &
Halske). Sus estudios del sistema Fish ayudaran al desarrollo posterior de la
primera computadora programable electrnica digital llamada Colossus, la cual fue diseada por Max
Newman y su equipo, y construida en la Estacin de Investigaciones Postales de Dollis Hill por un
equipo dirigido por Thomas Flowers en 1943. Dicha computadora se utiliz para descifrar los cdigos
Fish (en concreto las transmisiones de la mquina Lorenz).
Para romper los cdigos de la mquina Enigma y permitir a los aliados anticipar los ataques y
movimientos militares nazis, Turing dise la bombe, una mquina electromecnica llamada as en
reconocimiento de la diseada por los polacos bomba kryptologiczna que se utilizaba para eliminar
una gran cantidad de claves enigma candidatas. Para cada combinacin posible se implementaba
elctricamente una cadena de deducciones lgicas. Era posible detectar cundo ocurra una
contradiccin y desechar la combinacin. La bombe de Turing, con una mejora aadida que sugiri el
matemtico Gordon Welchman, era la herramienta principal que usaban los criptgrafos aliados para
leer las transmisiones Enigma.
Los trabajos de ruptura de cdigos de Turing han sido secretos hasta los aos 1970; ni siquiera sus
amigos ms ntimos llegaron a tener constancia.



Lenguajes y Autmatas 1. Tarea 2.
Unidad 4.
Zapata Malpica Mara.

3



Estudios sobre las primeras computadoras y el Test de Turing.

El Test de Turing es una prueba que propuso Alan Turing buscando una manera de demostrar la existencia
de inteligencia en una mquina.
De 1945 a 1948 Turing vivi en Richmond, Londres donde trabaj en el NPL Laboratorio Nacional de
Fsica en el diseo del ACE (Motor de Computacin Automtica [Automatic Computer Engine]). En
1946 present un estudio que se convertira en el primer diseo detallado de un computador
automtico. El primer borrador del reporte sobre el EDVAC de Von Neumann fue anterior al de
Turing, pero mucho menos detallado. Aunque el disear el ACE era factible, el secretismo que reinaba
durante la guerra desemboc en retrasos para iniciar el proyecto por lo que Turing se sinti
desilusionando. En 1947 se tom un ao sabtico en Cambrdige tiempo durante el cual produjo el
germen sobre la Inteligencia Artificial que no fue publicada en vida. Mientras se encontraba en
Cambrdige el piloto del ACE estaba siendo construido a pesar de su ausencia. ACE ejecut su primer
programa informtico en mayo de 1950. Aunque la versin completa de la ACE de Turing jams fue
construida, un gran nmero de computadoras alrededor del mundo le debe muchsimo a sta.
A mediados de 1948 fue nombrado director delegado del laboratorio de computacin de la Universidad
de Mnchester y trabaj en el software de una de las primeras computadoras reales la Manchester
Mark I. Durante esta etapa tambin realiz estudios ms abstractos y en su artculo "Mquinas de
computacin e inteligencia" (octubre de 1950) Turing trat el problema de la inteligencia artificial y
propuso un experimento que hoy se conoce como Test de Turing, con la intencin de definir una
prueba estndar por el que una mquina podra catalogarse como "sensible" o "sintiente". En el
documento, Turing sugiri que en lugar de construir un programa para simular la mente adulta, sera
mejor producir uno ms simple para simular la mente de un nio y luego someterlo a educacin. Una
forma invertida de la prueba de Turing se usa ampliamente en Internet, el test CAPTCHA que est
diseado para determinar si un usuario es un humano o una computadora.

Bibliografa:
http://es.wikipedia.org/wiki/Alan_Turing