Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conceptos Fundamentales
2003, Len Welicki
Definicin General
La Mquina de Turing es el antecedente del ordenador moderno Fue creada por Alan M. Turing en la dcada del 30. Su especificacin puede encontrarse en el paper On computable numbers with an application to the Eintschundsgenproblem, en 1936
Definicin General
Su funcionamientos se basa en premisas sencillas: se tiene una cinta con datos y una cabeza lectora que puede leer y escribir sobre la misma. Adems, dicha cabeza puede moverse a la izquierda o a la derecha.
Definicin Formal
Caractersticas
La cinta es infinita, por lo que a los 2 lados de la informacin que aparezca en la cinta habr espacios en blanco representados por b. Inicialmente contiene un nmero finito de elementos de Ac precedidos y seguidos por blancos (b) Puede representarse a travs de una tabla de transicin o un digrafo dirigido, donde se especifica D a travs de las arstas y los estados (el origen y el destino).
Lenguaje reconocido
Reconocen los lenguajes con menos restricciones, gramticas de tipo 0 (los ms altos en la jerarqua de Chomsky) Una palabra es reconocida por una Mquina de Turing si dispuesta inicialmente en una cinta de entrada, con la cabeza posicionada en el primer smbolo y la MT en el estado incial, la MT se detiene en un estado de aceptacion (q F).
Es una mquina (MTU) que recibe en la cinta una descripcion de otra MT (MT1) y el contenido de la cinta de esta MT. Produce como resultado de su ejecucin el que producira MT. Es un dispositivo anlogo a una computadora, capaz de realizar cualquirer cmputo.
Los registros se separan mediante el smbolo # Los datos se agregan al inicio y se concatenan con la mquina anterior usando el smbolo $
Funcionamiento de la MTU
Localizar el registro 0 (es el que aparece entre el $ y el primer #); Leer y memorizar uno a uno los smbolos que restan del registro encontrado, excepto el ltimo (que se corresponde con el movimiento a realizar); Para cada uno de los smbolos memorizados con anterioridad, colocarlos en el registro 0; El penltimo bit del registro localizado (que se corresponde con el bit a escribir), se escribe en lugar del que ocupa el *;
Se localiza y memoriza el ltimo bit del registro encontrado anteriormente (que se corresponde con el movimiento), para desplazar la cabeza lectora correctamente y colocar el * en el lugar adecuado; El contenido que haba en la posicin donde se escribe el * ha de ser memorizado y escrito en la ltima posicin del registro 0, para, de esta forma, recoger lo que lee la cabeza lectora y poder prepara todo el sistema para una nueva lectura.
Mquina de Turing multicinta. Mquina de Turing no determinstica. Mquina de Turing multidimensionales. Mquina de Turing de varias cabezas. Mquina de Turing fuera de lnea. Autmatas Linealmente Acotados.
Temas interesantes
Hiptesis de Church-Turing
Es un concepto informal, no probado Si una funcion es computable, existe una Mquina de Turing que la calcule.
Referencias
[1] On computable numbers with an application to the Eitschundsgenproblem Alan M. Turing [2] Introduccin a la teora de Autmatas, Lenguajes y Computacin John Hopcroft & Jeffrey Ullman [3] Lenguajes, Gramticas y Autmatas: un enfoque prctico - Pedro Isasi, Paloma Martinez & Daniel Borrajo [4] Turing y el Ordenador - Paul Strathern