¿ La máquina de Turing fue descrita por primera vez en 1937 por Alan Mathison Turing , matemático Inglés y pionero de la informática. Una máquina de Turing no es una máquina en el sentido tradicional , sino que no es un aparato mecánico que está destinado a ser realmente diseñado . En cambio, es una máquina conceptual o matemática . Alan Turing

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 . "