SI

Mquina de Turing @miguelcampos

Mquina de Turing

La mquina de Turing es un modelo computacional introducido por Alan Turing
en el trabajo On computable numbers, with an application to the
Entscheidungsproblem, publicado por la Sociedad Matemtica de Londres en 1936,
en el cual se estudiaba la cuestin planteada por David Hilbert sobre si las
matemticas son decidibles, es decir, si hay un mtodo definido que pueda
aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es cierta
o no. Turing construy un modelo formal de computador, la mquina de Turing, y
demostr que existan problemas que una mquina no poda resolver. La mquina
de Turing es un modelo matemtico abstracto que formaliza el concepto de
algoritmo.

Descripcin

La mquina de Turing 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. 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 del cabezal)

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.

De hecho, se puede probar matemticamente que para cualquier programa de
computadora es posible crear una mquina de Turing equivalente. Esta prueba
resulta de la Tesis de Church-Turing, formulada por Alan Turing y Alonzo Church,
de forma independiente a mediados del siglo XX.

Diagramas de Turing

Para disear una mquina de Turing terica, se disea un diagrama conocido como
Diagrama de Turing, que define los estados por los que puede pasar la mquina en
funcin de las entradas que vaya recibiendo. Adems, define los casos en los que se
SI Mquina de Turing @miguelcampos

puede cambiar de estado y la operacin asociada a dicha entrada (avanzar el

cabezal a la izquierda o hacia la derecha).

A continuacin se muestra cmo se dibujara un estado:




E0 1 / ,

En el diagrama anterior, se define el estado E0, que en caso de que la mquina se
encuentre en dicho estado y reciba como entrada un 1, la mquina responder
cambiando el nmero 1 por un espacio en blanco () y moviendo el cabezal una
posicin a la derecha. Adems el estado seguir siendo el E0 (indicado por la
flecha).

El siguiente caso es igual que al anterior, salvo por el hecho que al recibir un 1
como entrada, se produce un cambio de estado del E0 al E1:


1 / ,

E0 E1



En los diagramas de Turing, existen 2 estados especiales: el estado inicial,
representado por un crculo doble (ver el estado E0 a continuacin) y el estado de
parada denominado H (Halt = parada) que es el estado en el que la mquina
finaliza cualquier operacin.

E0