Mquina de Turing

Dariana Mabel Snchez (14-1111)

Antecedentes de la Mquina de Turing

En 1931, Kurt Gdel (1906-1978) public su famoso artculo
sobre las Proposiciones Formalmente Indecidibles en Principia
Mathematica y Sistemas Relacionados. El teorema de Gdel
demuestra que toda formulacin automtica consistente de la
teora de nmeros contiene proposiciones indecidibles:
siempre habr en ella afirmaciones verdaderas que no se
pueden demostrar.
En 1937, el matemtico ingls Alan Turing (1912-1953) public
otro artculo famoso (sobre los Nmeros Calculables), que
desarroll el teorema de Gdel y que puede considerarse el
origen oficial de la informtica terica. En este artculo
introdujo la mquina de Turing, una entidad matemtica
abstracta que formaliz el concepto de algoritmo que result
ser la precursora de las computadoras digitales.

Qu es la Mquina de Turing?
Una mquina de Turing es un dispositivo que
manipula smbolos sobre una tira de cinta de
acuerdo a una tabla de reglas. A pesar de su
simplicidad, una mquina de Turing puede ser
adaptada para simular la lgica de cualquier
algoritmo de computador y es particularmente
til en la explicacin de las funciones de una
CPU dentro de un computador.

Una mquina de Turing es un autmata

que consta de una cabeza lectora y
una cinta infinita en la que la cabeza
puede
leer
smbolos,
borrarlos,
escribirlos y moverse a la derecha o a la
izquierda. Por supuesto tambin consta
de una funcin de estado que
determinar los cambios de un estado a
otro que se deben producir en funcin
de las instrucciones que reciba.

Cmo funciona?
Una mquina de Turing puede considerar como una
cinta infinita dividida en casillas, cada una contiene
un smbolo. Sobre dicha cinta acta un dispositivo
que puede adoptar diversos estados y que, cada
instante, lee un smbolo de la casilla sobre la que
est situado. En funcin del smbolo que ha ledo y
del estado en el que se encuentra, realiza las 3
acciones siguientes:
1.
2.
3.

Pasa a un nuevo estado

Imprime un smbolo en lugar del que acaba de
leer
Se desplaza una posicin hacia la izquierda, o
hacia la derecha, o bien la mquina se detiene.

Cmo funciona?
El funcionamiento de una mquina de Turing puede representarse mediante una
tabla de doble entrada. Las filas estn encabezadas por los estados, las columnas
por los smbolos escritos en la cinta. En cada posicin de la tabla hay tres
elementos: el estado siguiente, el smbolo que se escribe en la cinta y el
movimiento de la cabeza (I, D, P).

Componentes de la Mquina de Turing

Una mquina de Turing es una sptupla M = (Q, , , s, , F, ), donde

Q = Conjunto finito de estados.

= El alfabeto de entrada.
= El alfabeto llamado alfabeto de la cinta.
s Q es el estado inicial.
es el smbolo blanco (no est en ).
F Q es el conjunto de estados finales o aceptores.
: Q X > Q X X {L, R} es una funcin parcial que se llama funcin
de transicin.

Clasificacin de la Mquina de Turing

Multicinta

Con mltiples
cabezales

Con cinta
multipista

No determinista

Multidimensional

Con cinta infinita a

ambos lados

Cuntica

Aplicaciones de la Mquina de Turing

Alan Turing introdujo la mquina de Turing como una entidad matemtica abstracta que formaliz el
concepto de algoritmo que result ser la precursora de las computadoras digitales. Con ayuda de
su mquina, Turing pudo demostrar que existen problemas irresolubles, tales que ninguna mquina
de Turing (y, por ende, ningn ordenador) ser capaz de obtener su solucin, por lo que a Alan
Turing se le considera el padre de la teora de la computabilidad.
Adems de lo anterior, otras aplicaciones de la Mquina de Turing son:

Teora de la Computacin
Mquinas Orculo (O-Machines)
Mquina de Turing como calculadora de funciones
Mquina de Turing como generadora de lenguajes

Video

Referencias
http://www.sinewton.org/numeros/numeros/43-44/Articulo33.pdf
http://maquinaturing.blogspot.com/p/clasificacion-de-maquina-turing.html
http://emeny81.tripod.com/turing.htm
https://elmaquinadeturing.wordpress.com/2009/12/15/%C2%BFque-es-una-maquina-de-turingi/
http://maquinasdeturing.blogspot.com/2010/08/9-ejemplos-de-aplicacion-de-las-mt.html

Gracias!