Alan Turing, matemático británico, definió las máquinas de Turing en 1937 como máquinas calculadoras de capacidad infinita. Las máquinas de Turing consisten en una cinta infinita dividida en casillas con símbolos, un conjunto de instrucciones y un cabezal que lee, reemplaza y se mueve según las instrucciones. Pueden representarse mediante una tabla de doble entrada que muestra los estados, símbolos y reglas a ejecutar.

1. MAQUINAS DE
TURING
POR: ROBERTO CANUA

2. ALAN TURING
• (Alan Mathison Turing; Londres, 1912-Wilmslow, Reino
Unido, 1954) Matemático británico. Pasó sus primeros
trece años en la India, donde su padre trabajaba en la
Administración colonial. De regreso al Reino Unido,
estudió en el King's College y, tras su graduación, se
trasladó a la Universidad estadounidense de Princeton,
donde trabajó con el lógico A. Church. En 1937 publicó
un célebre artículo en el que definió una máquina
calculadora de capacidad infinita llamada Maquina de
Turing.

3. LAS MAQUINAS
• Las máquinas de Turing consisten en un funcionamiento bastante sencillo, posee
una cinta (infinita) dividida en casillas, cada una solo puede contener un símbolo,
una cantidad de instrucciones, un cabezal que lee el símbolo, después lo reemplaza
según la instrucción y por ultimo se mueve como esta le diga (I,D,P)

4. REPRESENTACION
• Una maquina de Turing se puede representar a través de una tabla de doble
entrada, donde la fila exterior pertenecerá a los estados y la columna exterior
a los símbolos, mientras cada casilla interna representara la regla a ejecutar

5. CONCLUSION
La teoría de la computabilidad aun no se ha demostrado totalmente, ya que no
existe un algoritmos tal que permita saber si toda maquina de Turing se
detendrá en algún punto, continuara a la izquierda, o a la derecha, o en ciclos
complejos.