Maquinas de Turing.
(Traducción no oficial de TALF-Colombia de la página la Enciclopedia Filosófica de Stanford)
http://plato.stanford.edu/entries/turing-machine/
Fabio Palmieri Villa,
Talento humano - TALF-Colombia.

Las maquinas de Turing- ideadas por Alan Turing en 1937, corresponden a simples modelos abstractos orientados a ayudar con la investigación en las medidas y limitaciones de todo aquello que pueda ser computado.

Previo a la invención de las modernas computadoras digitales, Alan Turing se interesó en una pregunta; ¿Qué significa ser computable?. De primera impresión, se podría definir una tarea como computable si se pueden especificar una secuencia de instrucciones, las cuales cuando son seguidas o depuradas paso a paso resultan con la realización de dicha tarea. Luego entonces, decimos que un conjunto de instrucciones es un procedimiento eficaz, o un algoritmo para llevar a cabo dicha tarea. Esta primera impresión debe ser llevada a cabo por maquinas capaces de seguir fielmente las instrucciones, sin embargo, maquinas con diferentes capacidades capacidades, podrían completar un diferente conjunto de instrucciones, por consiguiente, podría resultar en una clase diferente de tareas computables.