Instituto Tecnolgico de Costa Rica. Administracin de Tecnologas de Informacin. Organizacin y Arquitectura de las computadoras. Milton Villegas Lemus.

Nahomy Montero Picado. II Semestre, 2013.

Una mquina de Turing es un autmata que consta de una cabeza lectora y una cinta infinita en la que la cabeza puede leer smbolos, borrarlos, escribirlos y moverse a la derecha o a la izquierda, la cinta contiene una serie de celdas, y en cada una de ellas puede escribirse un smbolo de un conjunto finito; este conjunto de smbolos se denomina el alfabeto de la mquina. En principio todas las celdas que no se hayan escrito antes contienen un carcter especial nulo o vaco. La cinta puede contener tantas celdas a derecha e izquierda del cabezal como sean necesarias para el funcionamiento de la mquina. Por supuesto tambin consta de una funcin de estado que determinar los cambios de un estado a otro que se deben producir en funcin de las instrucciones que reciba. ste aparato tan sencillo (y tan parecido a un radiocasete) tiene una propiedad sorprendente, y es que es capaz de implementar cualquier problema matemtico que se nos ocurra, con la nica condicin de que ste se pueda expresar por medio de un algoritmo. Por tanto, podremos escribir una cadena de smbolos que represente el problema de manera que la mquina lo pueda leer y, como adems tambin puede escribir y borrar, cuando vayamos de un paso a otro del algoritmo podr recordar el paso en el que se encuentra en cada momento para as poder dar el siguiente en la direccin correcta. Si nos fijamos bien, es sencillo encontrar una analoga entre una Mquina de Turing y un computador moderno. En un computador, tenemos un dispositivo de lectura y borrado que interpreta los datos grabados en un soporte (hardware) sobre el que puede adems borrar, escribir y moverse. Adems, este dispositivo dispone de un cdigo (software) que, segn sean las instrucciones de entrada, proporciona una salida determinada en forma de imagen en una pantalla, clculo matemtico, sonido, etc. La nica diferencia esencial es que el soporte de informacin no es infinito, por tanto, podemos identificar el hardware de un computador con la cabeza lectora y la cinta, mientras que el software seran las instrucciones de la cinta y la funcin de estado de la Mquina de Turing. Ahora es fcil ver las implicaciones que el estudio terico de la Mquina de Turing tiene en el avance de la Informtica, pues nos permite, entre otras cosas, comprender los lmites de lo que podemos esperar que haga una computadora y lo que no. La Mquina de Turing de gran utilidad para comprender los lmites de algunos problemas matemticos. Uno de los ejemplos ms conocidos donde una MT muestra su capacidad es el problema de la parada donde, gracias al uso de la MT

Instituto Tecnolgico de Costa Rica. Administracin de Tecnologas de Informacin. Organizacin y Arquitectura de las computadoras. Milton Villegas Lemus. Nahomy Montero Picado. II Semestre, 2013.

se concluy que es imposible obtener un algoritmo con el cual pueda decidirse si un algoritmo dado parar para una entrada determinada. Ejemplo: Una cadena de X seguida de una cadena de Y. Ambas de la misma longitud. {X^n Y^n , n>0} Estado inicial de la cinta: 000111# Transiciones: 00Xr1 100r1 1YYr1 2XXr0 3YYr3 0YYr3 11Yl2 200l2 2YYl2 3##r4 4 * * r halt Bibliografa. Computacin: Mquina de Turing (s. f.). Recuperado el 31 de Julio del 2013, de http://www.zator.com/Cpp/E0_1_1.htm Definicin de mquina de Turing y ejemplos. (2013, 28 de Marzo). Recuperado el 31 de Julio del 2013, de http://borrowbits.com/2013/03/maquinas-de-turing/ Mquinas de Turing. (s. f.). Recuperado el 31 de Julio del 2013, de http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo13.pdf Oribe, J. (2009, 15 de Diciembre). Qu es una Mquina de Turing? Recuperado el 31 de Julio del 2013, de http://elmaquinadeturing.wordpress.com/2009/12/15/%C2%BFque-es-unamaquina-de-turing-i/#more-710