La mquina de Turing

Qu es?
autmata que se mueve sobre una secuencia lineal de datos. la mquina puede leer un solo dato de la secuencia (generalmente un carcter) y realiza ciertas acciones en base a una tabla que tiene en cuenta su "estado" actual (interno) y el ltimo dato ledo. Entre las acciones est la posibilidad de escribir nuevos datos en la secuencia; recorrer la secuencia en ambos sentidos y cambiar de "estado" dentro de un conjunto finito de estados posibles.

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

FUNCIONAMIENTO
Una instruccin tpica podra ser: 01 11011i
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.

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

DIAGRAMAS DE ESTADOS
Las maquinas de Turing se pueden representar mediante grafos particulares, tambin llamados diagramas de estados finitos, de la siguiente manera:

Los estados se representan como vrtices, etiquetados con su nombre en el interior. Una transicin desde un estado a otro, se representa mediante una arista dirigida que une a estos vrtices, y esta rotulada por smbolo que lee el cabezal/smbolo que escribir el cabezal, movimiento del cabezal . El estado inicial se caracteriza por tener una arista que llega a l, proveniente de ningn otro vrtice. El o los estados finales se representan mediante vrtices que estn encerrados a su vez por otra circunferencia.

MODIFICACIONES EQUIVALENTES
Una Razn para aceptar la Mquina de Turing como un modelo general de cmputo es que el modelo que hemos definido anteriormente es equivalente a muchas versiones modificadas que en principio pareciera incrementar el poder computacional.

Mquina de Turing con movimiento "Stay" o "Esperar Mquina de Turing con cinta infinita a ambos lados Mquina de Turing con cinta multipista Mquina de Turing con multicintas

TEST DE TURING
El Test de Turing (o Prueba de Turing) es una prueba propuesta por Alan Turing para demostrar la existencia de inteligencia en una mquina. Fue expuesto en 1950 en un artculo (Computing machinery and intelligence) para la revista Mind, y sigue siendo uno de los mejores mtodos para los defensores de la Inteligencia Artificial. Se fundamenta en la hiptesis positivista de que, si una mquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente.

TEST DE TURING
La prueba consiste en un desafo. La mquina ha de hacerse pasar por humana en una conversacin con un hombre a travs de una comunicacin de texto estilo chat. Al sujeto no se le avisa si esta hablando con una mquina o una persona. Si el sujeto es incapaz de determinar si la otra parte de la comunicacin es humana o mquina, entonces se considera que la mquina ha alcanzado un determinado nivel de madurez: es inteligente. Todava ninguna maquina puede pasar este examen en una experiencia con mtodo cientfico.

MAQUINA DE TURING CUANTICA

En 1985, Deutsch present el diseo de la primera Mquina Cuntica basada en una mquina de Turing. Con este fin enunci una nueva variante la tesis de Church dando lugar al denominado "Principio de Church-TuringDeutsch". La estructura de una mquina de Turing cuntica es muy similar a la de una mquina de Turing clsica. Est compuesta por los tres elementos clsicos: Una cinta de memoria infinita en que cada elemento es un QuBit Un procesador finito Un cursor

MAQUINA DE TURING CUANTICA

El procesador contiene el juego de instrucciones que se aplica sobre el elemento de la cinta sealado por el cursor. El resultado depender del QuBit de la cinta y del estado del procesador. El procesador ejecuta una instruccin por unidad de tiempo. La cinta de memoria es similar a la de una mquina de Turing tradicional. La nica diferencia es que cada elemento de la cinta de la mquina cuntica es un QuBit . El alfabeto de esta nueva mquina est formado por el espacio de valores del QuBit .

El cursor es el elemento que comunica la unidad de memoria y el procesador. Su posicin se representa con una variable entera.

Modelos Formales de Computacin

Autmatas Mquinas que consisten en estados y transiciones

Una sola transicin posible de cada estado por smbolo de alfabeto, no ms.

Cuando hay dos o ms posibles transiciones de un estado que usan el mismo smbolo del alfabeto, el autmata elige su transicin al azar.

Definiciones
Una mquina de Turing con una sola cinta se define como una 7-tupla , donde:

conjunto finito de estados. conjunto finito de smbolos distinto del espacio en blanco, denominado afabeto maquina conjunto finito de smbolos de cinta, denominado alfabeto de cinta. estado inicial. smbolo denominado blanco, y es el nico smbolo que se puede repetir infinitaveses conjunto de estados finales de aceptacin.
funcin parcial denominada funcin de transicin, donde es un movimiento a la izquierda y es el movimiento a la derecha.

SE PUEDEN DIVIDIR

 http://es.wikipedia.org/wiki/Autmata_finito