Mquinas de

Turing
YASSELYS DELGADO 13-0987
KENDRA MAZARA 13-1082
WEBSTER NOBLE 13-1073
 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.
Mquinas de Turing

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).
Mquinas de Turing

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

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.
 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).
 La memoria ser la cinta la cual se divide en espacios de trabajo
denominados celdas, donde se pueden escribir y leer smbolos.
Inicialmente todas las celdas contienen un smbolo especial
denominado blanco. Las instrucciones que determinan el
funcionamiento de la mquina tienen la forma, si estamos en el
estado x leyendo la posicin y, donde hay escrito el smbolo z,
entonces este smbolo debe ser reemplazado por este otro smbolo,
y pasar a leer la celda siguiente, bien a la izquierda o bien a la
derecha.
 La mquina de Turing puede considerarse como un autmata capaz de
reconocer lenguajes formales. En ese sentido es capaz de reconocer los
lenguajes recursivamente enumerables, de acuerdo a la jerarqua de Chomsky.
Su potencia es, por tanto, superior a otros tipos de autmatas, como el
autmata finito, o el autmata con pila, o igual a otros modelos con la misma
potencia computacional
Turing dio una definicin sucinta del experimento en su ensayo de 1948, Mquinas inteligentes.
Refirindose a su publicacin de 1936, Turing escribi que la mquina de Turing, aqu llamada una
mquina de computacin lgica, consista en:
Una ilimitada capacidad de memoria obtenida en la forma de una cinta infinita marcada con cuadrados,
en cada uno de los cuales podra imprimirse un smbolo.
Las mquinas de Turing plantean una deduccin bastante curiosa: dado que en ellas se puede
realizar cualquier trabajo computable, es posible programarlas para que simulen el
comportamiento de un potente ordenador. Y como una mquina de Turing puede ser
codificada en CUALQUIER ordenador, por pequeo que sea, sera posible (si disponemos de
memoria suficiente, claro) emular en nuestro ordenador de casa una mquina de Turing que
simule un superordenador.

Esto significa que todos los ordenadores pueden realizar exactamente el mismo tipo de tareas, y
que los clculos que pueda realizar el ms grande los puede llevar a cabo tambin el ms
pequeo. La nica diferencia sera, obviamente, la velocidad.