MAQUINAS DE TURING

TEST DE TURING
En 1950, Alan Turing public en la revista Mind el artculo Computing Machinery and Intelligence

en el que introduca el concepto de Test de Turing.

Este artculo puede considerarse el precursor de muchos de los desarrollos actuales en el

campo de la Inteligencia Artificial.

El test consista en juzgar el nivel de inteligencia de una mquina. Se supone un juez situado en

una habitacin, y una mquina y un ser humano en otras. El juez debe descubrir cul es el ser
humano y cul es la mquina, estndoles a los dos permitidos mentir al contestar por escrito las
preguntas que el juez les hiciera. La tesis de Turing es que si ambos jugadores eran
suficientemente hbiles, el juez no podra distinguir quin era el ser humano y quin la mquina.
2

QU ES COMPUTABILIDAD?
Consiste en ser capaz de encontrar la representacin adecuada para la descripcin

de un problema o fenmeno.

Para tal representacin es necesario:

Un conjunto finito de smbolos.
Hacer asociaciones entre conceptos y elementos del lenguaje (de smbolos)
Encontrar las combinaciones adecuadas de smbolos para evitar ambigedad.
Definir una manera de confirmar tal descripcin para que terceros puedan reproducirla y llegar

a los mismos resultados.

EL CONCEPTO DE MODELO
Modelo: es una especificacin, generalmente en trminos de un lenguaje matemtico, de los

pasos necesarios para reproducir un subconjunto determinado de la realidad. La representacin

del modelo surge siempre a partir de su descripcin.

Es posible siempre pasar de la descripcin de un modelo a su representacin? Todo lo que es

descriptible puede ser representable?

Aparentemente la exactitud de la descripcin hace depender a la exactitud de la representacin.

Existen procesos que pueden ser descritos con gran exactitud, pero su representacin o

modelado no es posible.

TEORA DE LA COMPUTABILIDAD
La Teora de la Computabilidad consiste en encontrar maneras de representar

descripciones de procesos, de tal manera que se pueda asegurar si existe o no

una representacin.
Se dice que un algoritmo es una manera formal y sistemtica de representar

la descripcin de un proceso.

LA MQUINA DE TURING*
En el artculo On Computable Numbers, Turing construy un modelo formal de computador,

la Mquina de Turing, (con esto resolvi el entscheidungsproblem (planteado por, David

Hilbert) y demostr que haba problemas tales que una mquina no poda resolver. La
mquina de Turing es el primer modelo terico de lo que luego sera un computador
programable. Con el tiempo a este tipo de mquina se la conoci como mquina de estado
finito, debido a que en cada etapa de un clculo, la siguiente accin de la mquina se
contrastaba con una lista finita de instrucciones de estado posibles.

* La mquina no se debe confundir con un aparato fsico. Se trata ms bien de una construccin matemtica.

COMPONENTES DE LA MQUINA DE TURING

Una cinta de longitud infinita dividida en celdas (cada celda puede tener solamente un

smbolo tomado de un diccionario de smbolos predefinido).

Un control finito que tiene la capacidad de examinar el algn smbolo de alguna celda y tomar

una decisin que depende del smbolo observado y del estado en que se encuentre el control
finito.

El control es finito porque puede estar solamente en alguno de los estados posibles, habiendo
solamente un nmero finito de ellos.
Se supone un diccionario de smbolos finto.
7

FORMALIZACIN
Mquina de Turing (TM) M= (Q, , , , q0, B, F)
Q: conjunto finito de estados de control
: conjunto finito de smbolos de entrada (Alfabeto)

: conjunto finito de smbolos de la cinta

: funcin de transicin(q, X) = (p,Y,D)
q es un estado, X un smbolo de la cinta
p es un nuevo estado, en Q;

Y es un smbolo en que substituir X;

D es decir R e I es decir L , izquierda o derecha, direccin en que la cabeza se mueve

q0: estado inicial

B: es el smbolo blanco (el smbolo B no puede hacer parte de ) aparece en todas las casillas excepto en aquellas que
contienen los smbolos de entrada
F: conjunto de estados de aceptacin o finales

EJEMPLO TRANSDUCTOR
Cambia 0s por 1s y 1s por 0s). El mismo alfabeto se usa tanto para las

cadenas de entrada como para la cinta.

VALORES QUE RECIBE LA MQUINA DE TURING POR ESTADO

Valor que lee

Valor que
Escribe

Movimiento
del cabezal
R = Derecha
L = Izquierda

EJEMPLO TRANSDUCTOR

SEP-TUPLA

HALLAR LAS TRANSICIONES

El smbolo de la entrada es
diferente al smbolo de la cinta

(q0, a) = (q0, 1, R)

1 = Smbolo de la cinta

a = Smbolo de entrada
q0 = Estado
R = Direccin en que se
mueve la cabeza

TRANSICIONES

RECORRIDO DE LA CADENA
Se ejecuta en Jflap en el men Input Step

 Se digita la cadena para el ejemplo aa y aceptar

 Muestra la

accin en cada
estado

Muestra los

valores en la
cinta
Muestra cada paso realizado por la mquina

Va leyendo una celda de la cinta, luego borra el smbolo,

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

a es Smbolo
que lee
1 es Smbolo
que escribe
Lee blanco