Máquinas de Turing. Gálvez Martínez Ernesto Sánchez Sandoval David Isaac Villegas Rosales Erik Salazar Santiago Juan Carlos

Transcripción

1 Máquinas de Turing Gálvez Martínez Ernesto Sánchez Sandoval David Isaac Villegas Rosales Erik Salazar Santiago Juan Carlos

2 El modelo de Máquina de Turing Una Máquina de Turing Es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. Puede ser adaptada para simular cualquier algoritmo de computadora, útil para explicar las funciones de una CPU.

3 En la teoría de autómatas, podemos clasificarlos de la siguiente manera:

4

5 Descripción de las MT Una cinta que se divide en celdas, una al lado de la otra. Cada celda contiene un símbolo de algún alfabeto finito. La cinta se supone que es arbitrariamente extensible hacia la izquierda y la derecha. Un cabezal que puede leer y escribir símbolos en la cinta y mover la cinta a la izquierda y a la derecha una (y solo una) celda a la vez.

6 Un registro de estado que almacena el estado de la MT (uno de los estados finitos). Hay un estado especial inicial. Turing afirmó que, estos estados reemplazan el estado de la mente en que ordinariamente estaría una persona realizando cálculos. Una tabla finita de instrucciones (también llamada tabla de acción o función de transición). Se maneja con Tuplas de la siguiente manera: q i a j -> q i1 a j1 d k Borra o Escribe ( a j -> a j1 ) Mueve el cabezal (d k ) (L = left, R = right, N = no move, S = stop) Asume el mismo o un nuevo estado ( q i1 )

7 Q = Estados (finito) = Alfabeto (finito) Γ = Símbolos de cinta (finito) s = Estado inicial (s Q) b = Blanco, símbolo único, se puede repetir infinitamente F = Estados finales (F Q) δ = Función de Transición

8 Ejemplo: Reconocer a través de una máquina de Turing el lenguaje dependiente: Donde se propone la MT:

9 Tabla de Transiciones Q c d e X Y Z b >p q,x,d t,y,d q q,c,d r,y,d q,y,d r r,d,d s,z,i r,z,d s s,c,i s,d,i s,e,i p,x,d s,y,i s,z,i t t,y,d u,z,d *u u,z,d u,-b-,p

10 Sea la cadena & = ccddee Comprobar si es una cadena válida para la MT

11 Los lenguajes aceptados por máquinas de Turing son los llamados lenguajes estructurados por frases. Los lenguajes estructurados por frases contienen a los lenguajes independientes del contexto. Un ejemplo de lenguaje estructurado por frases y que no es independiente del contexto es:

12 Máquina de Turing Universal Es una MT que nos permite reproducir el funcionamiento de cualquier otra máquina M. Para ello, es necesario establecer un código que nos permita proporcionar a la MUT la información de las transiciones de máquina M, dada bajo las siguientes consideraciones:

13

14

15

16 Componentes de una MTU

17

18 Lenguajes computables Complejidad: Estudio de los recursos necesarios para resolver los problemas teóricamente computables. Cantidad de recursos necesarios para la resolución de: un problema, un algoritmo o un cálculo. Se analizan dos recursos principales: Tiempo (pasos, operaciones elementales,...) Espacio (celdas, posiciones de memoria,...)

19 Ejemplo: Las torres de Hanoi

20

21 Computabilidad: responde a preguntas del tipo : Qué problemas puede resolver una máquina de Turing? Qué otros formalismos equivalen a las máquinas de Turing? Qué problemas requieren máquinas más poderosas?

22 Variantes de la máquina de Turing Combinación de máquinas de Turing. Tratando el concepto de máquina de Turing modular, que da lugar a una función de transición sectorizada que encierra módulo, donde cada uno de ellos tienen un objetivo claramente delimitado, ahora una alternativa a este enfoque es plantear máquinas independientes que compartan una misma cinta con el fin de operar en forma sucesiva sobre la misma cadena. De esta manera cada MT tiene un fin específico y opera a partir de la cadena dejada or la máquina de Turing que trabajo con anterioridad, hasta que la última máquina alcance su estado de aceptación.

23 Máquina de Turing Generalizada En esta variante se integra más Hardware a su versión original. Su particularidad es que se diseña esta máquina con un número arbitrario (pero finito) de cintas de entrada/salida que, a su vez, pueden tener múltiples cabezales de lectura/escritura. Esta máquina debe de quedar especificada por una función de transición, como ocurre en cualquier MT convencional.