MQUINA DE TURING

Universidad Autnoma
Ivn Mauricio
de Aguascalientes
Mndez Lara
Francisco Javier Ornelas Zapata

Inteligencia Artificial
Introduccin
Una mquina de Turing es un autmata que se mueve sobre una secuencia
lineal de datos. En cada instante la mquina puede leer un solo dato de la
secuencia (generalmente un carcter) y realiza ciertas acciones en base a una
tabla que tiene en cuenta su "estado" actual (interno) y el ltimo dato ledo.
Entre las acciones est la posibilidad de escribir nuevos datos en la secuencia;
recorrer la secuencia en ambos sentidos y cambiar de "estado" dentro de un
conjunto finito de estados posibles.
En realidad, la mquina de Turing es ms una abstraccin matemtica que un
dispositivo fsico o mecnico. El hecho que se le denomine "mquina" se debe
a que su funcionamiento puede ser descrito en trminos de operaciones
individuales muy sencillas que sugieren una implementacin real muy simple,
lo que ha motivado que existan muchas versiones prcticas del mismo.
En el recuadro se incluye una muestra de una de estas tablas. Representa el
comportamiento de una mquina de turing que es capaz de sumar 1 a
cualquier nmero unario ( 0.1). El alfabeto solo tiene dos smbolos: Vaco (0) y
valor (1). La mquina puede adoptar tres estados diferentes numerados del 0
al 2 (es costumbre sealar el estado inicial con 0). El movimiento H ("Halt")
significa no desplazar el cabezal. En este caso la mquina se detiene (o entra
en un bucle sin fin).
Tambin es posible representar la tabla de accin mediante un grafo. Los
diferentes estados internos se representan por crculos. Los cambios de estado
con flechas a las que se aade una leyenda. Generalmente se utiliza una
flecha para sealar el estado inicial. En la figura 1 se muestra el grafo
correspondiente a la tabla.
Es notable que el diseo de Turing contiene de forma implcita la idea de que el
autmata puede alterar su propio programa, pero el punto ms significativo de
su filosofa de funcionamiento es que se comporta como la mente, en el
sentido que la configuracin interna de la mquina establece el entorno en el
que se toman las decisiones, de forma que la accin depende de dos factores:
el estado interno y la informacin externa que puede "ver" a travs de su
cabezal [6]. La consecuencia es que es imposible predecir su comportamiento
de la simple inspeccin de su tabla de accin, ya que el comportamiento
depende tambin de la entrada recibida.
Supongamos una mquina de Turing con un alfabeto unario, en la que el nulo
(ausencia de dato) lo sealamos con 0. La mquina puede tener cinco estados
que denominamos {e0, e1, e2, e3, e4}. El estado inicial es e0; su tabla de
accin se muestra a la derecha.
Observe que la tabla debe contener al menos tantas filas como estados
distintos. La primera columna representa lo que podamos denominar "estado
mental" de la mquina. La segunda columna indica el carcter ledo;
representa la entrada (input) al autmata. Las siguientes (en otro color)
representan el comportamiento o respuesta de la mquina para la combinacin
estado/carcter-ledo. Esta respuesta tiene tres componentes:
Una salida (escribir en la cinta). Indicado en la columna W.

Un movimiento de avance o retroceso del cabezal sobre la cinta

(indicado en la columna M).
Un cambio del estado interno actual del autmata a otro nuevo
(columna N).
Observe que las filas pueden repetir el primer elemento; significan las acciones
a tomar en cada estado segn el carcter ledo. Cada vez que se alcanza un
estado para el que no exista una entrada para el carcter ledo, la mquina se
detiene. En nuestro autmata la tabla seala acciones concretas para
cualquier carcter ledo (0 o 1) en cualquiera de los estados e1, e2, e3 y e4,
pero si en el estado e0 se lee un 0, la mquina se detiene.
La sucesin de pasos de cmputo es la siguiente (suponemos un estado inicial
cualquiera ex):
1.- Se lee un carcter c (en nuestro caso es necesariamente 0 o 1)
2.- Se mira en la tabla que fila corresponde a la combinacin ex/c.
3a.- Si no existe entrada la mquina se detiene.
3b.- Si existe entrada se ejecuta la instruccin (columnas en marrn claro) en
el siguiente orden:
3b1.- Se escribe en la posicin actual el carcter sealado (puede ser el
mismo que haba).
3b2.- Se mueve el cabezal una posicin a izquierda o derecha.
3b3.- Se pasa al estado sealado en la ltima columna (puede implicar no
cambiar de estado).
3b4.- Se repite el ciclo desde el punto 1.
 S R W M N
e0 1 0 R e1
e1 1 1 R e1
e1 0 0 R e2
e2 0 1 L e3
e2 1 1 R e2
e3 1 1 L e3
e3 0 0 L e4
e4 1 1 L e4
e4 0 1 R e0

S: Estado anterior
R: Smbolo ledo
W: Smbolo a escribir
M: Movimiento (R, L).
N: Nuevo estado.