Un cabezal que puede leer y escribir smbolos en la cinta y mover la cinta a la izquierda y

a la derecha una (y slo una) celda a la vez. En algunos modelos el cabezal se mueve y
la cinta es estacionaria. Un registro de estado que almacena el estado de la mquina de
Turing, uno de los estados finitos.

Que es y como funciona

Es un dispositivo de reconocimientos de lenguaje, es ms general que cualquier autmata finito y cualquier
autmata de pila, debido a que ellas pueden reconocer tanto los lenguajes regulares, como los lenguajes
independientes de contexto y adems muchos otros tipos de lenguajes.

La mquina de Turing (abreviado MT) tiene, un control finito, una cabeza lectora y una cinta donde puede
haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia la
derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el carcter blanco (que
representaremos con t). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es
el extremo izquierdo, la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada
en curso de ejecucin. Adems, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo
que puede pasar repetidas veces sobre un mismo segmento de la cinta.
Este modelo est conformado por un alfabeto de entrada y uno de salida, un smbolo especial llamado
blanco(normalmente b, o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos
estados. Su funcionamiento se basa en una funcin de transicin, que recibe un estado inicial y una cadena de
caracteres(la cinta, la cual es finita por la izquierda) pertenecientes al alfabeto de entrada. Luego va leyendo
una celda de la cinta, borrando el smbolo, escribir el nuevo smbolo perteneciente al alfabeto de salida y
finalmente avanza a la izquierda o a la derecha(solo una celda a la vez), repitiendo esto segn se indique en la
funcin de transicin, para finalmente detenerse en un estado final o de aceptacin, representando as la
salida.

Diagrama Artstico de una Mquina de Turing

La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el
contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en
esta mquina se limitan a: avanzar el cabezal lector/escritor hacia la derecha. Avanzar el cabezal lector/escritor
hacia la izquierda. El cmputo es determinado a partir de una tabla de estados de la forma: (estado, valor)
(nuevo estado, nuevo valor, direccin)
Esta tabla toma como parmetros el estado actual de la mquina y el carcter ledo de la cinta, dando la
direccin para mover el cabezal, el nuevo estado de la mquina y el valor a ser escrito en la cinta.
Con este aparato extremadamente sencillo es posible realizar cualquier cmputo que un computador digital
sea capaz de realizar.
Mediante este modelo terico y el anlisis de complejidad de algoritmos, fue posible la categorizacin de

problemas computacionales de acuerdo a su comportamiento, apareciendo as, el conjunto de problemas

denominados P y NP, cuyas soluciones en tiempo polinmico son encontradas segn el determinismo y no
determinismo respectivamente de la mquina de Turing.
De hecho, se puede probar matemticamente que para cualquier programa de computadora es posible crear
una mquina de Turing equivalente. Esta prueba resulta de la Tesis de Church-Turing, formulada por Alan
Turing y Alonzo Church, de forma independiente a mediados del siglo XX.

Como funciona una maquina de turing?

Una mquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT despus de algunos pasos.
Tanto el INPUT como el OUPUT constan de nmeros en cdigo binario (ceros y unos). En su versin original la
mquina de Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a travs de una caja.
La caja es tan fina que solo el trozo de cinta que ocupa un bit (0 1) est en su interior. La mquina tiene una
serie de estados internos finitos que tambin se pueden numerar en binario.
Para llevar a cabo algn algoritmo, la mquina se inicializa en algn estado interno arbitrario. A continuacin,
se pone en marcha y la mquina lee el bit que se encuentra en ese momento en su interior y ejecuta alguna
operacin con ese bit (lo cambia o no, dependiendo de su estado interno). Despus se mueve hacia la derecha
o hacia la izquierda, y vuelve a procesar el siguiente bit de la misma manera. Al final se para, dejando el
resultado al lado izquierdo por ejemplo.
Una instruccin tpica podra ser: 0111011i
La traduccin es como sigue: si la mquina se encuentra en el estado interno 0 y lee 1 en la cinta, entonces
pasar al estado interno 1101 (13), escribir 1 y se mover hacia la izquierda un paso (la cinta se mover hacia
la derecha).
A continuacin es conveniente inventar una notacin para la secuencia del INPUT. Esta notacin se llama
notacin binaria expandida. Consiste en cambiar la secuencia original binaria por otra construida de la
siguiente forma: el 0 se cambia por 0 y el 1 por 10 y se ponen un cero a la izquierda y/o a la derecha del
resultado si empieza o acaba en 1 respectivamente. As por ejemplo, el nmero 13 que en binario es 1101 es
en binario expandido 1010010 con un cero delante por esta ltima regla 01010010. Para volver al original hay
que contraer el binario expandido con la siguiente regla:
Empezamos a leer por la izquierda el binario expandido. Cuando encontremos un 0 tomamos nota de cuntos
1 hay hasta llegar al siguiente 0 y lo escribimos. Si encontramos que hay dos 0 seguidos, apuntaramos un 0
porque no habra ningn 1.Veamos con el 13 cmo se hara. El primer 0 se encuentra en la primera posicin y
el siguiente 0 est en la posicin 3. Entre los dos solo hay un 1. Lo anotamos. Seguidamente hay un 1, y
despus un 0, entonces apuntamos 1 porque hay un 1 entre medias de ellos. Esto es lo que se hace
sucesivamente y encontramos: 1101 que es el nmero original.
La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el
contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en
esta mquina se limitan a: