Máquinas de Turing...El modelo de Máquina de Turing Una Máquina de Turing Es un dispositivo que...
Transcript of Máquinas de Turing...El modelo de Máquina de Turing Una Máquina de Turing Es un dispositivo que...
![Page 1: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/1.jpg)
Máquinas de Turing
Gálvez Martínez ErnestoSánchez Sandoval David IsaacVillegas Rosales ErikSalazar Santiago Juan Carlos
![Page 2: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/2.jpg)
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.
![Page 3: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/3.jpg)
En la teoría de autómatas, podemos clasificarlos de la siguiente manera:
![Page 4: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/4.jpg)
![Page 5: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/5.jpg)
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.
![Page 6: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/6.jpg)
● 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:
qiaj -> qi1aj1dk
○ Borra o Escribe ( aj -> a
j1 )
○ Mueve el cabezal (dk) (L = left, R = right, N = no move, S = stop)
○ Asume el mismo o un nuevo estado ( qi1 )
![Page 7: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/7.jpg)
● 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
![Page 8: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/8.jpg)
Ejemplo:
Reconocer a través de una máquina de Turing el lenguaje dependiente:
Donde se propone la MT:
![Page 9: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/9.jpg)
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
Tabla de Transiciones
![Page 10: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/10.jpg)
Sea la cadena & = ccddeeComprobar si es una cadena válida para la MT
![Page 11: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/11.jpg)
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:
![Page 12: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/12.jpg)
Máquina de Turing UniversalEs 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:
![Page 13: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/13.jpg)
![Page 14: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/14.jpg)
![Page 15: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/15.jpg)
![Page 16: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/16.jpg)
Componentes de una MTU
![Page 17: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/17.jpg)
![Page 18: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/18.jpg)
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, ...)
![Page 19: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/19.jpg)
Ejemplo: Las torres de Hanoi
![Page 20: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/20.jpg)
![Page 21: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/21.jpg)
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?
![Page 22: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/22.jpg)
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.
![Page 23: Máquinas de Turing...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](https://reader030.fdocument.pub/reader030/viewer/2022041002/5ea35bb138ef631b0f0a9d0f/html5/thumbnails/23.jpg)
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.