Mquinas de Turing

Introduccin
Cuando hablamos de mquinas de turing es
probable que imaginemos algo mecnico y
concreto, sin embargo, las mquinas de
turing son una abstraccin matemtica,
una idealizacin, creada por Alan Turing.
El hecho que se le denomine "mquina" se
debe a que su funcionamiento puede ser
descrito en operaciones individuales muy
sencillas que sugieren una implementacin
real muy simple, lo que ha motivado que
existan muchas versiones prcticas del
mismo.
Historia
Alan Mathison Turing (1912-1954)
fue un Matemtico, informtico
terico, criptfago y filsofo ingls.
Kurt Godel 1931, teoremas
matemticos verdicos an sin
comprobacin.
Idealizacin de una mquina capaz
de realizar procesos que un
matemtico puede realizar.
Turing formaliz la idea de mtodo
definido (algoritmo) y constituy la
base de la teora de la
computabilidad.
Mquina Universal de Turing.
En la Segunda Guerra Mundial fue
reclutado en la Escuela de Cdigos
y Cifrados del gobierno britnico
para descifrar los cdigos
alemanes.
Dise la bombe para leer las
transmisiones de Enigma
Al trmino de la guerra colabor
en la construccin del ENIAC.
Luego colabor en la construccin
de ACE, pero dimiti.
En Manchester colabor en la
Construccin del Mark I,
colaborando con la fabricacin de
los primeros ordenadores de
Inglaterra.

Mquinas de Turing
Surge como respuesta en un intento
para dar una definicin matemtica
ms precisa de algoritmo.
Su funcionamiento es a travs de una
cinta infinita dividida en cuadros y un
lector/escritor.
La mquina de Turing es una
idealizacin.
Condiciones del lector de la mquina:
1. Se sita en un solo cuadro
2. Lee los que hay en el cuadro
3. Lleva a cabo la funcin segn el algoritmo
Operaciones del cabezal:
1. Avanzar el cabezal lector/escritor hacia la
derecha
2. Avanzar el cabezal lector/escritor hacia la
izquierda
Tsis de Turing
Primera Tesis:
Todo problema que se pueda resolver
algortmicamente, puede ser resuelto
por una mquina de Turing
Algoritmo: Es bsicamente una serie
de pasos o reglas organizadas finita
que describen el proceso que se debe
seguir para llegar a la solucin de un
problema determinado.
Segunda Tesis:
Toda funcin computable puede ser
computada por una mquina de Turing.
Todo problema que puede ser resuelto por
mtodos algortmicos puede ser resuelto
por una mquina de Turing
Funcin computable: Corresponden a los
problemas que pueden ser resueltos
aplicando un algoritmo.
El problema de la indecibilidad
Turing demostr que
existen problemas que
un ordenador no puede
resolver.
Turing propone el
orculo para el
problema de la
parada
Funcionamiento de las
mquinas de Turing
La memoria se divide en espacios de
trabajo denominados celdas, en el
que se pueden escribir y leer
smbolos.
En un comienzo todas las celdas
tienen un smbolo especial llamado
blanco.
La mquina funciona de forma
mecnica y secuencial, leyendo el
smbolo de la celda que tiene debajo.
Despus toma el smbolo del estado
en que se encuentra
Con estos dos datos accede a una
tabla, en la cual lee el smbolo que
debe escribir en la cinta, el nuevo
estado al que debe pasar y si debe
desplazarse a la casilla izquierda o
derecha.
Aplicacin de la mquina con cierto
algoritmo:
El programa o algoritmo aplicado
hace que el autmata lea la
cantidad y la repita a la
derecha, separadas por un nulo
(0). La mquina de Turing
copiar el nmero de smbolos
"1" que encuentre hasta el
primer blanco detrs de dicho
smbolo blanco. Es decir,
situada sobre el 1 situado en el
extremo izquierdo, doblar el
nmero de smbolos 1, con un
0 en medio. Por ejemplo, si
encuentra 11000, lo transforma
en 11011.
Paso Estado Cinta
1 e0 11000
2 e1 01000
3 e1 01000
4 e2 01000
5 e3 01010
6 e4 01010
7 e4 01010
8 e0 11010
9 e1 10010
10 e2 10010
11 e2 10010
12 e3 10011
13 e3 10011
14 e4 10011
15 e0 11011
Parada