La máquina de Turing

Tema del CD virtual "El método del Jardinero".

En 1936, Alan Turing (1912-1954), ideó un dispositivo imaginario que ha recibido en su honor el nombre de “Máquina de Turing”. Es el primer modelo teórico de lo que luego sería un computador programable. Una máquina sin existencia física con la que demostró que había problemas tales que una máquina no podía resolver.
Lo que confiere al dispositivo su extraordinaria importancia es que es capaz de resolver cualquier problema matemático a condición de que haya sido reducido a un algoritmo, concepto que también introdujo él.
La máquina de Turing, con casi 70 años de existencia, sigue siendo el objeto central de estudio de los teóricos de la computación.