MAQUINAS DE TURING

POR: ROBERTO CANUA

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. 

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)

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

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.