Alan Mathison Turing nació en Paddington , Londres, en 1912. Estudió matemáticas en la Universidad de Cambridge, donde posteriormente enseñó , antes de trasladarse a la Universidad de Princeton en 1936. Regresó a Inglaterra en 1938 y durante la Segunda Guerra Mundial trabajó para el Código de Gobierno y Cypher School en Bletchley Park, en Gran Bretaña, donde lideró el equipo responsable de descifrar el código alemán Enigma . Él trabajó para el Laboratorio Nacional de Física y la Universidad de Manchester después de la guerra y fue elegido miembro de la Royal Society en 1951. A raíz de una condena por homosexualidad en 1952 , Turing se suicidó en 1954 a los 41 .
Abstract Computer
Una máquina de Turing es, de hecho , una simple computadora abstracta. Esto puede ser visualizado como que tiene una cinta infinitamente largo , 1 - D dividido en células, cada una de las cuales contiene un 0 o un 1 . También cuenta con un cabezal de lectura y escritura que puede moverse hacia atrás y adelante a lo largo de la cinta para acceder a los contenidos de cada celda. La cinta puede ser pensado como la memoria de la máquina de Turing -, pero , por supuesto , infinito - y la cabeza de lectura y escritura como el bus de memoria
Filosofía < br . >
Alan Turing describe la máquina de Turing en un esfuerzo por responder a una de las preguntas fundamentales de la filosofía de la ciencia de la computación , es decir , lo que significa que una tarea sea computable. Intuitivamente , una tarea es computable si puede ser dividido en un conjunto de instrucciones - también conocido como un " algoritmo " - que se pueden llevar a cabo por una máquina de algún tipo para completar la tarea . Sin embargo , las diferentes máquinas pueden ser capaces de llevar a cabo diferentes instrucciones y completar diferentes tareas , por lo que hay un número infinito de máquinas de Turing .
Universal de Turing Machine
Sin embargo , Turing imaginó cada algoritmo , para cada tarea en particular , escrito como un conjunto de instrucciones en un formulario estándar. Si la forma estándar para cada tarea se suministra a una sola máquina de Turing , la máquina puede hacerse para interpretar las instrucciones y llevarlas a cabo de la misma manera como en particular máquinas de Turing y es capaz de realizar todas las tareas posibles . Esto es lo que se conoce como una "máquina universal de Turing . "