Maquina de Turing

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

La mquina se define formalmente con la 7-upla M(Ae, Ac, Q, q0, , F, b)

Ae: alfabeto de smbolos de entrada (Ae b) Ac : alfabeto de smbolos de cinta admisibles Q: conjunto finito de estados q0 : estado inicial (q0 Q) : funcin de transicin, Q x Ac Q x Ac x [L| R|N] F: Conjunto de estados favorables b: smbolo blanco

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).

Mquina de Turing Universal

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.

Mquina de Turing Universal (2)

La maquina se codifica en la siguiente manera:

Estado actual (en binario) Bit a leer (0|1) Estado destino (en binario) Movimiento a realizar

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 *;

Funcionamiento de la MTU (2)

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.

Otro tipo de Mquinas

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.

Tomadas de [2], captulo 7

Temas interesantes

Problema de la parada (Halting Problem)

El problema de si un conjunto de datos sobre una Maquina de Turing determinada se detiene es indecidible.

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