Clase 6 Maquina de Turing
Clase 6 Maquina de Turing
Clase 6 Maquina de Turing
Bibliografía
1 Balarí Sergio. “Teoría de Lenguajes Formales”.
Universidad de Barcel0na ,2014.
Introducción
En 1928, el célebre matemático David Hilbert planteó tres
preguntas aun no planteadas:
1. ¿Son completas las matemáticas?
2. ¿Son coherentes las matemáticas?
3. ¿Son decidibles las matemáticas?
Inicio:
Paso 1:
Paso 2:
Ejemplo de una MT simple
Paso 3.
Paso 4:
Paso 5:
5. q0 es el estado inicial ;
6. F = {sí, no, h} es el conjunto de los estados finales de
aceptación, rechazo y parada, respectivamente.
Funcionamiento de la MT de k cintas
Una palabra w Є ∑* de entrada de largo n es colocada en
las posiciones 1, . . ., n de la primera cinta.
Las siguientes posiciones (n + 1, n + 2, . . .) de la primera
cinta contienen el símbolo B.
Las restantes cintas contienen el símbolo B en las
posiciones 1, 2, 3, . . .
La máquina tiene una cabeza lectora por cinta. Al
comenzar, la máquina se encuentra en el estado q0, y
cada cabeza lectora esta en la posición 1 de su cinta.
Funcionamiento de la MT de k cintas
En cada instante la maquina se encuentra en un estado q y
su cabeza lectora i se encuentra en la posición pi .
Si el símbolo en la posición pi es ai y
(q, a1, . . . , ak ) = (q’, b1, . . . , bk ,X1, . . . ,Xk ), entonces:
- La máquina escribe el símbolo bi en la posición pi de la
i-esima cinta.
- Cambia de estado desde q a q’.
Mueve la cabeza lectora de la i-esima cinta a la posición
pi − 1 si Xi = I , y a la posición pi +1 si Xi = D. Si Xi = N,
entonces la máquina no mueve la cabeza lectora de la
i-esima cinta.
Funcionamiento de la MT de k cintas
Tenemos que considerar una situación especial:
Donde la MT no se detenga y entre en un bucle, lo cual
denotaremos con el símbolo ;
En la MT de k-cintas que responde algo tras alcanzar el
estado h: dada una cadena de entrada v, la respuesta
será la cadena w que la MT ha escrito en la última
cinta.
Tiempo consumido
¿Cómo se mide el tiempo de ejecución de un algoritmo?
0 0 1 0 0 B Estado qc
0 0 B B B B
0 0 1 0 0 B Estado qc
0 0 1 B B B
0 0 1 0 0 B Estado qc
0 0 1 0 B B
0 0 1 0 0 B Estado qc
0 0 1 0 0 B
Ejemplo de MT de múltiples cintas
0 0 1 0 0 B Estado qr
0 0 1 0 0 B
0 0 1 0 0 B Estado qr
0 0 1 0 0 B
0 0 1 0 0 B Estado qr
0 0 1 0 0 B
0 0 1 0 0 B Estado qr
0 0 1 0 0 B
0 0 1 0 0 B Estado qr
0 0 1 0 0 B
0 0 1 0 0 B Estado qr
0 0 1 0 0 B
Ejemplo de MT de múltiples cintas
0 0 1 0 0 B Estado qv
0 0 1 0 0 B
0 0 1 0 0 B Estado qv
0 0 1 0 0 B
0 0 1 0 0 B Estado qv
0 0 1 0 0 B
0 0 1 0 0 B Estado qv
0 0 1 0 0 B
0 0 1 0 0 B Estado qv
0 0 1 0 0 B
0 0 1 0 0 B Estado qv
0 0 1 0 0 B Se llega al estado qa
Complejidad en distintos modelos
Un lenguaje L es aceptado por una MT M en tiempo
O(t(n)) si L = L(M) y tM(n) es O(t(n)).
Entonces