Definicin Formal de La mquina de Turing

La Mquina de Turing (MT) fue introducida por Alan M. Turing en 1936, y puede considerarse
como un modelo abstracto que formaliza la idea Intuitiva de algoritmo.

(MT) Es un modelo computacional que realiza una lectura/escritura
de manera automtica sobre una entrada llamada cinta, generando
una salida en esta misma. Este modelo est conformado por un
alfabeto de entrada y uno de salida, un smbolo especial llamado
blanco (normalmente b, o 0), un conjunto de estados finitos y un
conjunto de transiciones entre dichos estados.
Una mquina de Turing con una sola cinta puede ser definida como
una 7-tupla;

Dnde:

Es un conjunto finito de estados.

Es un conjunto finito de smbolos distinto del espacio en blanco, denominado alfabeto de
mquina o de entrada.

Es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta.

Es el estado inicial.


es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero
infinito de veces.

Es el conjunto de estados finales de aceptacin.



Es una funcin parcial denominada funcin de transicin, donde es un movimiento a la
izquierda y es el movimiento a la derecha.
.


















Propiedades

Estados






La Mquina de Turing consta de un mecanismo de control que en cualquier
momento puede encontrarse entre un nmero finito de estados.

o El estado inicial representa el estado en el cual la maquina comienza los clculos.
o Otro de los estados, se conoce como estado de parada, es en realidad un estado
de aceptacin.
Una mquina de Turing se detiene una vez que llega un estado de parada,
terminan todos los clculos.
El estado de parada de las mquinas de Turing se diferencia de los estados finales
de los AF y AP en que estos pueden continuar sus clculos despus de llegar a un
estado final.
Con esto, el estado inicial no puede ser a la vez estado de parada. Las mquinas
de Turing tienen al menos 2 estados.




Cinta

La cinta de entrada es una secuencia infinita de celdas
En cada celda de cinta solo se puede almacenar un smbolo
Estamos hablando de una cinta infinita por ambos lados. Las celdas que no estn
agrupadas, estn vacas, las vamos a denotar por el carcter #


Cabeza

Otra diferencia importante entre las mquinas de Turing y los AF y AP es que las
MT pueden leer y escribir en la cinta de entrada.

La MT posee una cabeza que puede emplearse para leer y escribir smbolos en la
cinta de la mquina.

As, puede rastrear los datos de la cinta y modificar las celdas que desee sin
alterar las dems.

Acciones

Las acciones especficas son operaciones de escritura y de movimiento.

La operacin de escritura consiste en reemplazar un smbolo en la cinta con otro
smbolo y luego cambiar a un nuevo estado (que puede ser el mismo).

La operacin de movimiento comprende mover la cabeza una celda a la derecha o
a la izquierda y luego pasar a un nuevo estado. La accin que se realiza
depender del smbolo que est en la celda actual as como del estado actual.




















Teoremas
Para toda gramtica de tipo 0, existe una mquina de Turing que reconoce el
lenguaje generado por dicha gramtica.

Para toda mquina de Turing, existe una gramtica de tipo 0 que genera un
lenguaje igual al reconocido por la mquina de Turing.






Reconocimiento de una Entrada

Una mquina de Turing es una mquina que manipula smbolos en una cinta segn una
tabla de reglas. Se compone de:
Una cinta infinitamente larga (por la derecha) donde se pueden leer/escribir
smbolos.
Una cabeza lectora/escritora que apunta a una posicin de la cinta y se puede
mover.
Un control de estado finito, es decir:
Un registro almacena el estado en que esta la maquina en un momento
dado.
La mquina utiliza el estado actual y el smbolo ledo de la cinta, para decir
que hacer de acuerdo con unas reglas.
Cada una de las reglas es de la siguiente forma: si el estado actual es q0 y el
smbolo ledo por la cabeza lectora es s0 entonces escribir el smbolo s1 en la
cinta, mover la cabeza lectora hacia [izquierda] [derecha] y pasar al estado q1.
Segn las reglas que fijemos podemos conseguir que la maquina de Turing calcule
distintas funciones.


Importancia
La importancia de la mquina de Turing est en que est hace posible la definicin lgica del
proceso paso por paso como elemento bsico de cualquier accin o programa. Este hecho muy
importante tiene muchas implicaciones:

Las reglas de paso no necesitan estar limitadas a la definicin de un objeto existente o
construido. (Proceso de libre albedro.)
Esas reglas de paso pueden dar lugar a otras reglas de paso en forma sucesiva e ilimitada
hasta crear la maquina universal de Turing. (Proceso de construccin o creacin.)
La mquina de Turing pueda dar lugar a otra mquina de Turing y as sucesivamente.
(proceso de reproduccin)
Es decir, la mquina de Turing pareca haber adquirido "vida propia", o pareca poder
representar lo que nosotros hasta hoy hemos definido como vida "inteligente".

Alan Mathison Turing
Naci en Londres en el ao 1912 y muri en Cheshire en el ao 1954
Matemtico, informtico terico, criptgrafo y filsofo ingles
Es considerado uno de los padres de la Ciencia de la computacin siendo el
precursor de la informtica moderna.
Proporciono una influyente formalizacin de los conceptos de Algoritmo y
computacin: la mquina de Turing.







Aplicaciones
Mquina de turing:
Identificar si un nmero es par o impar

f (n) = {
Configuracin inicial 11... 1

Estrategia:

Lee 1, borra y mueve hacia la derecha
Si lee 0: escribe 1, impar
Si lee 1: borra 1, mueve hacia derecha
Si lee 0, termina par
Si lee 1, inicia rutina principal








0 si n es par
1 si n es impar
Disear una Mquina de Turing que calcule la paridad de un nmero binario. Es decir, si
el nmero de 1s de la cadena es par, se aade un 0 al final, y si es impar, se aade un 1.

Solucin:

Algoritmo: Recorrer de izquierda a derecha, recordando si se lleva un n de 1s par o
impar
(situndose en un estado diferente), para aadir al final 0 1, respectivamente.

Definicin de la MT
f:








Definicin de estados:

El estado PAR, representa que se ha ledo un nmero de 1s par (considerando el 0
par).
El estado IMPAR, representa que se ha ledo un nmero de 1s impar.
El estado qf es el estado final, al que se llega slo al final, tras aadir el 1 0 de
paridad
de 1s.
Definicin de transiciones:
Mientras se recorre la cadena, la mquina de Turing transita entre los estados PAR o
IMPAR, dependiendo de la cantidad de 1s de la subcadena leda hasta el momento. En
cualquiera de los dos estados:
- si se lee un 1, se cambia de estado, porque ha cambiado la paridad del nmero.
- si se lee un 0, se mantiene en el mismo estado, porque no ha cambiado la paridad.
- si se lee un blanco, se transita al estado final y se para, tras escribir un dgito distinto
segn el estado actual de la mquina:
o PAR (n de 1s par): escribir un 0, para mantener la paridad existente.
o IMPAR (n de 1s impar): escribir un 1, para conseguir un nmero de
1s par