MAQUINA DE

TURING

LSC. Ana Francisca Lule Rangel

2006

MQUINA DE TURING. Definicin

Es un modelo computacional creado por

Alan Turing con el cual l afirmaba que se
poda realizar cualquier cmputo.
Como modelo matemtico, 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

MQUINA DE TURING. Definicin

Las operaciones que se pueden realizar en esta

mquina se limitan a:
avanzar el cabezal lector/escritor para la derecha
avanzar el cabezal lector/escritor para la
izquierda
El cmputo es determinado a partir de una tabla
de estados de la forma:
(estado,valor) (\nuevo estado, \nuevo valor, direccin)

MQUINA DE TURING. Definicin

Esta tabla toma como parmetros el estado

actual de la mquina y el carcter ledo de la
cinta, dando la direccin para mover el
cabezal, el nuevo estado de la mquina y el
valor a ser escrito en la cinta
Con este aparato extremadamente sencillo
es posible realizar cualquier cmputo que un
computador digital sea capaz de realizar.

MQUINA DE TURING. Definicin

Mediante este modelo terico y el anlisis de

complejidad de algoritmos, fue posible la
categorizacin de problemas
computacionales de acuerdo a su
comportamiento.
se puede probar matemticamente que para
cualquier programa de computadora es
posible crear una mquina de Turing
equivalente