MAQUINA DE TURING

Anlisis de Algoritmo
Qu es y cmo funciona?
Es un dispositivo de reconocimientos
de lenguaje, es ms general que
cualquier autmata finito y cualquier
autmata de pila, debido a que ellas
pueden reconocer tanto los lenguajes
regulares, como los lenguajes
independientes de contexto y adems
muchos otros tipos de lenguajes.
Por qu es importante la MT?

Cualquier modelo de computacin que intente
capturar el concepto de "lo que es computable"
debe ser equivalente a la mquina de Turing.
Definicin

Es un modelo computacional que realiza una lectura/escritura de manera automtica sobre una
entrada llamada cinta, generando una salida en esta misma.

Modelo formado por:
Un alfabeto de entrada
Uno de salida,
Un smbolo especial llamado blanco (normalmente b, \Delta o 0),
Un conjunto de estados finitos
Un conjunto de transiciones entre dichos estados.
Formalmente

Se basa en una funcin de transicin, que recibe un estado inicial y una cadena de caracteres del
alfabeto de entrada (la cinta, que puede ser infinita). La mquina lee una celda a la vez, borra el
smbolo que acaba de leer y escribe un nuevo smbolo del alfabeto de salida, luego se desplazar a
la izquierda o derecha (una celda a la vez). Este proceso se repite segn indique la funcin de
transicin, para finalmente detenerse en un estado final o de aceptacin, representando as la
salida.

Una mquina de Turing con una sola cinta puede definirse como una 7-tupla
Funcionamiento

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:

Mover el cabezal lector/escritor hacia la derecha

Mover el cabezal lector/escritor hacia la izquierda.

El cmputo se determina a partir de una tabla de estados de la
forma:

(estado, valor) (nuevo estado, nuevo valor, direccin)

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
escribir en la cinta.
CONSTRUCCIN
MQUINA DE TURING
Las mquinas de Turing se pueden representar mediante grafos
particulares, tambin llamados diagramas de estados finitos, de la
siguiente manera:
Queremos construir una mquina que verifique si el nmero de 0s
en una palabra es par:

M = (Q, , , q0, , F)

Q = {q0, q1}
= {0, 1}
= {0, 1, `, B}
F = {q0}
es definida como:
(q0, 0) = (q1, B, D)
(q0, 1) = (q0, B, D)
(q1, 0) = (q0, B, D)
(q1, 1) = (q1, B, D)
Supongamos que w = 00010 la entrada
(q0, 0) = (q1, B, D)
(q0, 1) = (q0, B, D)
(q1, 0) = (q0, B, D)
(q1, 1) = (q1, B, D)
Conclusin:
La mquina acepta w = 00010.
Ejemplo:

Una mquina de estados finita (como la de Turing) va saltando de un estado A a otro B siguiendo
un procedimiento sencillo y establecido.
Como vemos, la mquina
empieza en el estado S
1
, si de
la entrada es un 1 sigue en el
estado S
1
, pero si hay un
0 entonces pasa al estado S
2
y
no volver al S
1
hasta que no
se obtenga otro 0 y as
sucesivamente