TEST

Y
MAQUINA DE TURING

Alumno:
Pool Fernndez Mendoza
Escuela:
Computacin Cientfica

ALAN TURING (1912-1954)

Una pregunta acechaba a Turing, y era el hecho de que: Debe existir al menos en principio

algn mtodo definido, o proceso mediante el cual toda cuestin matemtica pueda ser
demostrada? (entscheidugsproblem)

Para contestar a esta pregunta necesitaba una definicin del concepto mtodo, y para ello

analiz que era lo que haca una persona para transformar un proceso metdico, y buscar una
forma de hacer esto mecnicamente. Expres el analisis en trminos de una mquina terica
que sera capaz de transformar con precisin operaciones elementales previamente definidas en
smbolos en una cinta de papel. En Agosto de 1936 presenta el concepto final de la Maquina
de Turing en su artculo On Computable Numbers (1936).

Trabajando secretamente para el Colegio de Cifrado y Cdigo Gubernamental o tambin

llamado Departamento de Criptoanlisis. Turing fue reclutado por Inglaterra, en Bletchley Park,
para descifrar los mensajes que compona la mquina alemana Enigma, y, como consecuencia,
los aliados construyeron la mquina Colossus.

Turing tuvo la visin de una computadora con memoria que implementara las funciones
aritmticas mediante programacin en vez de con componentes electrnicos, y que podra
desempear todo tipo de tareas.
2

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.
El test consista en juzgar el nivel de

Qu ser?
Una maquina
o un ser
humano?

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.

CAPACIDADES QUE DEBE TENER

UNA MQUINA QUE HA PASADO EL
TEST DE TURING
Reconocimiento de Lenguaje Natural.
Razonamiento.
Aprendizaje.
Representacin del Conocimiento.

En el caso del Test de Turing Total

Visin.
Robtica.

En qu puedo
emplear el Test de
Turing ?

Una de las aplicaciones de la prueba de Turing es el

control de spam. Los spammers (individuos o empresas
que envan spam) .
As la prueba de Turing puede usarse para distinguir si el
correo electrnico fue enviado por un remitente humano o
por una mquina
Un ejemplo muy utilizado es la prueba CAPTCHA.

LA MAQUINA DE TURING

En 1937, el matemtico ingls Alan Mathison Turing

(1912-1953) public un artculo famoso (sobre los
nmeros calculables).

En este artculo introdujo la mquina de Turing, una

entidad matemtica abstracta que formaliz el concepto de

algoritmo y result ser el precursor de las computadoras
digitales.
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 (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.

FUNCIONAMIENTO DE LA
MQUINA DE TURING
La mquina de Turing

consta de un
cabezal Lector/escritor y una cinta
infinita en a que el cabezal lee el
contenido, borra el contenido y escribe
un nuevo valor.

Las operaciones que se pueden realizar

en esta mquina se limitan a: Avanza
el cabezal lector/ escritor hacia
derecha,
Avanza
el
cabezal
lector/escritor hacia la izquierda.

DESCRIPCIN FORMAL DE LA MQUINA DE TURING

donde:

Alfabeto. Conjunto finito de smbolos de entradasalida. Adoptamos por convencin que

(smbolo vaco).
Conjunto de movimientos (L: izquierda, R: derecha,
N: no movimiento)
Estado inicial
Es una funcin definida de un subconjunto de
en

FORMA DE UNA INSTRUCCIN:

Ejemplo 1:
Sea

donde:

una Mquina de Turing definida por:

GRACIAS
TOTALES