LA MAQUINA DE TURING

IDEA PRINCIPAL:
La idea principal de la mquina de Turing es estudiar los procesos algortmicos utilizando el modelo computacional por lo cual se dice que la maquina de Turing es la ms poderosa de toda las maquinas (Moore, Mealy).

DEFINICION:
Una mquina de Turing es un dispositivo que manipula smbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una mquina de Turing puede ser adaptada para simular la lgica de cualquier algoritmo de computador y es particularmente til en la explicacin de las funciones de un CPU dentro de un computador.

Una mquina de Turing o autmata de tipo 0 es una construccin lgica que se puede construir intuitivamente como un dispositivo mecnico, formado por la cinta infinita dividida en celdas, un cabezal de lectura/escritura que se mueve sobre dicha cinta, avanzando una celda cada vez. En la siguiente figura se representa un caso particular de un conjunto de smbolos en la cinta formados por 0 y 1.

Un movimiento de la mquina de Turing, depende del smbolo explorado con la cabeza y del estado actual en el que se encuentra la mquina, el resultado puede ser: a. Cambio de estado. b. Imprime un smbolo en la cinta c. Se mueve la cabeza de la cinta a la izquierda, a la derecha o se para. Puede darse los fenmenos antes mencionados por junto o separado.

REPRESENTACION GRAFICA:

CINTA: En principio se extiende a la derecha y a la izquierda en forma infinita, pero representado con el mundo real, se borra la extensin de la izquierda dejando asi en la derecha todos los elementos que contendr la cinta. CABECERA O CABEZA: Siempre apunta hacia el elemento de la cinta en el cual estamos. MECANISMO DE CONTROL: Aqu tendremos los smbolos de transicin. Existen smbolos especiales denominados smbolos de cinta, estos smbolo se usan bsicamente para sealar un almacenamiento. Por ejemplo: Queremos representar la palabra XYX lo podemos hacer, pero si queremos representar la misma palabra con algunos espacios no lo podemos representar de la esta manera X Y X ya que sera una palabra incorrecta o no deseada, entonces para representar eso se inserta smbolos especiales por ejemplo un (esto representa un espacio en blanco), por lo tanto podemos escribir XYX el cual ser ya una palabra aceptada por la mquina de Turing.

En la siguiente figura mostramos como es que funciona bsicamente la mquina de Turing

Tenemos los dos estados que es el inicio y fin, para a se desplaza ala derecha en la siguiente posicin se encuentra con una a por lo que hace el mismo proceso y se va desplaza a la derecha encontrndose con b lo cual tambien hace que nos movamos a la derecha encontrndonos con y ah podemos ver que la maquina ha terminado su proceso.

TERMINACIN ANORMAL
Se da cuando no haya ms elementos hacia la izquierda, pues en esta caso la cabeza no apuntara hacia ningn lado, esto es una anomala y podemos concluir que la maquina abandonara los clculos y decimos que la ejecucin sufri una terminacin anormal.

DEFINICION FORMAL
Formalmente una mquina de Turing es una autmata, y como todo autmata est formado por la quntupla MT= (E, S, Q, f, g) sin embargo suele usarse la notacin equivalente: MT= (Q, , , , q0, B, F) Dnde: Q: Conjunto de estados : Conjunto de smbolos de la maquina ( no incluye el blanco) : conjunto de smbolos permitidos en la cinta : es la funcin del siguiente movimiento Qxx(I,D,S) I indica movimiento a la Izquierda y D (R) a la derecha y la S es la parada. q0: Pertenece a Q y es el estado inicial B: pertenece a y es el smbolo blanco F: pertenece tambien a Q y es el subconjunto de estados finales El lenguaje aceptado o reconocido por la mquina de Turing lo denotaremos por L(MT), el cual es un conjunto de palabras formadas por el alfabeto * Formalmente el lenguaje aceptado por la mquina de Turing MT= (Q, , , , q0, B, F) es: