Complemento Turing

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 12

TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

Ejemplos:

Problema 1:

Máquina de Turing que proporciona el complemento a 1 de un número binario.

La MT tendrá escrita en la cinta un número de  n cifras (bits) en binario (ceros y


unos). Tiene que cambiar los 0's por 1's y viceversa.

Inicialmente, la cabeza de la MT señala la primera cifra del número (la que está
más a la izquierda). Las otras casillas tienen el símbolo en blanco.

La cinta de la MT es

La MT tendrá únicamente dos estados: el inicial, q0, y el de aceptación o final, q1.

La MT se mantiene en el estado q0 mientras realiza la conversión. Cuando haya


finalizado, pasa al estado q1.

Función de Transiciones:

δ(q0,1)=(q0,0,R)

Es decir, si la cabeza señala un 1, lo cambia por un 0 y se mueve hacia la


derecha.

δ(q0,0)=(q0,1,R)

Es decir, si la cabeza señala un 0, lo cambia por un 1 y se mueve hacia la


derecha.

δ(q0,B)=(q1,B,R)

Es decir, cuando la cabeza señala el primer símbolo en blanco, la cabeza se


mueve a la derecha y la MT pasa al estado final.

Por tanto, la MT es

M=({q0,q1},{0,1},{0,1,B},δ,q0,B,{q1})

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

siendo δ la función de transición definida por:

δ(q0,0)=(q0,1,R)

δ(q0,1)=(q0,0,R)

δ(q0,B)=(q1,B,R)

Notemos que la MT se detiene al llegar al estado de aceptación  q1 ya que para


este estado no tenemos definida la función de transición.

Problema 2

Diseñar una máquina de Turing que calcula el número consecutivo de un número


dado en binario.

Si el número es par, su último bit es 0. La máquina sólo tiene que cambiar este 0
por un 1.

Si el número es impar, su último bit es 1. En este caso, se tiene que cambiar por
0’s todos los 1’s seguidos que haya escritos de derecha a izquierda hasta llegar al
primer 0, que se cambia por un 1. Si no hay ningún 0, entonces se tiene que
añadir un 1 delante del número (añadir un bit). Es decir, escribir un 1 en la casilla
en blanco (B) a la izquierda del número.

Vamos a considerar tres estados:

q0,q1,q2

 Inicialmente, la MT está en el estado q0 con la cabeza señalando la primera


cifra del número.

La MT recorre todo el número para ver si es par o impar sin modificar su


cinta.

δ(q0,0)=(q0,0,R)

δ(q0,1)=(q0,1,R)

 Notemos que, por ahora, la MT se detiene al llegar al primer símbolo en


blanco a la derecha del número.

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

La MT vuelve a la anterior casilla (último número). Si es un 0, lo cambia por


un 1 y pasa al estado final que es  q2  . Para hacer esto usaremos el
estado q1  :

δ(q0,B)=(q1,B,L)

δ(q1,0)=(q2,1,R)

 Si el número es impar, la MT no ha cambiado el último número, pero está


en el estado q1  . Tiene que cambiar todos los 1's consecutivos que haya de
derecha a izquierda.

δ(q1,1)=(q1,0,L)

 Por ahora, la MT se para cuando llega al primer 0 (de derecha a izquierda)


ó en un símbolo en blanco. Si es un 0, lo cambia por un 1 y el proceso
finaliza:

δ(q1,0)=(q2,1,L)

(Hemos escrito un desplazamiento a la izquierda, pero esto no tiene


importancia ya que la MT ha llegado al estado final).

Si lo que señala la cabeza es un blanco en vez de un 1, tiene que cambiarlo por


un 1 y finalizar el proceso.

δ(q1,B)=(q2,1,L)

El diagrama de la máquina es

Donde el cuadro representa el símbolo en blanco B.

Vamos a simular la MT para varias entradas. Mostraremos el estado final de la


cinta y la posición de la cabeza (sombreado en color rosa).

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

Entrada: 000; Resultado esperado: 001.

Entrada: 0011; Resultado esperado: 0100.

Entrada: 111; Resultado esperado: 1000.

Entrada: 1; Resultado esperado: 10.

Problema 3:

Diseñar una máquina de Turing que acepta el lenguaje

L={0n1n :n>0}

Lo primero que haremos es limitar el alfabeto a

Σ={0,1}

así nos aseguramos de que sólo puede aceptar palabras con de entrada con
símbolos 1 y 0.

Los símbolos de cinta serán

T={0,1,B,X,Y}

siendo B el símbolo en blanco.

La MT consta de cinco estados:

q0,q1,q2,q3,q4

Los estados q0 y q4 son el inicial y el final, respectivamente.

Inicialmente, la cabeza señala el primer 0. Lo cambia por  X y se desplaza a la


derecha en busca del primer 1 para cambiarlo por  Y:
Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

δ(q0,0)=(q1,X,R)

δ(q1,0)=(q1,0,R)

Es decir, mientras haya 0's, se mantiene en el estado  q1 .

δ(q1,1)=(q2,Y,L)

Ha encontrado el primer 1. Lo cambia por  Y y pasa al estado q2 moviéndose a la


izquierda. En este estado, la MT se mueve hacia la izquierda en busca
de X saltando las casillas con 0's:

δ(q2,0)=(q2,0,L)

Cuando encuentra la X, se mueve hacia la derecha esperando encontrar un 0 para


cambiarlo por X, por lo que pasa al estado q0  :

δ(q2,X)=(q0,X,R)

Una vez cambiado dicho 0 por  X, está en el estado q1  . Ahora tiene que buscar el
siguiente 1 y cambiarlo por  Y, pero se encuentra con Y antes de llegar, por lo que
tiene que saltar esta casilla:

δ(q1,Y)=(q3,Y,R)

En el estado q3 sigue saltando las casillas con Y hasta llegar al 1:

δ(q3,Y)=(q3,Y,R)

δ(q3,1)=(q2,Y,L)

Pasa al estado q2 una vez ha cambiado el 1 por la  Y. En este estado, la MT se


mueve a la izquierda hasta encontrar una X. Una vez la encuentra, se mueve una
casilla a la derecha. Si hay un 0, tendrá que empezar el proceso anterior (buscar
1, cambiarlo por Y y volver a buscar la X, con lo que estaremos de nuevo en este
punto). Si ya no quedan 0's, habrá una  Y y, por tanto, se han cambiado  n 0's
por n X 's y n 1's por n Y 's. Entonces se mueve a la izquierda:

δ(q2,Y)=(q2,Y,L)

Se encuentra con una X y pasa al estado q0. En este estado se busca un 0 para


cambiarlo por X, pero suponemos que ya no quedan. Entonces la cabeza debe
moverse a la derecha para comprobar que tampoco quedan más 1's:

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

δ(q0,Y)=(q0,Y,R)

Cuando encuentra el primer símbolo en blanco, la MT finaliza:

δ(q0,B)=(q4,B,R)

En el caso de que haya más 0's que 1's, llegará un momento en el que ya no
queden 1's (los habrá cambiado por Y ). La MT se quedará permanentemente en
el estado q1 .

El diagrama de la MT es

Vamos a simular la MT para una sola entrada que todas tienen la misma forma.
Mostraremos el estado final de la cinta y la posición de la cabeza (sombreado en
color rosa).

Entrada: 000111; Resultado esperado: XXXYYY.

Problema 4

Diseñar una Máquina de Turing que, dada una palabra  w del alfabeto Σ={0, 1},
proporciona su reverso, wR .

Lo que tiene que hacer la MT es cambiar el orden de los símbolos que hay en su
cinta.

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

Usaremos los símbolos de cinta adicionales A y Z para indicar el comienzo y el


final de la palabra w en la cinta.

En el estado q0  , la MT busca el comienzo de palabra, es decir, el primer símbolo


en blanco a la izquierda. Cuando lo encuentra, lo cambia por  A:

δ(q0,0)=(q0,0,L)

δ(q0,1)=(q0,1,L)

En el estado q1 la MT se desplaza hacia la derecha hasta encontrar el primer


símbolo en blanco para cambiarlo por Z:

δ(q1,0)=(q1,0,R)

δ(q1,1)=(q1,1,R)

δ(q1,B)=(q2,Z,L)

Luego pasa al estado q2  . En este estado, cambia el primer elemento de la


palabra w (o sea, el último) por B para escribirlo al lado derecho de Z.

Como usaremos este estado posteriormente, puede ocurrir que ya no queden


símbolos de w porque ya se ha copiado. En este caso sólo quedarán símbolos en
blanco y el símbolo A que marca el comienzo de w:

δ(q2,B)=(q2,B,L)

δ(q2,A)=(q8,B,L)

δ(q2,1)=(q3,B,R)

δ(q2,0)=(q6,B,R)

En el caso de que ya no haya símbolos de  w, la MT borra A y vuelve pasa al


estado q8 en el que buscará la Z para borrarla de la cinta, pasando al estado
final q9  :

δ(q8,B)=(q8,B,R)

δ(q8,Z)=(q9,B,R)

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

Volviendo al punto anterior, si en  q2 se encuentra con el símbolo 1, entonces lo


borra y entra en los estados q3 y q4 cuya finalidad son escribir el 1 en su sitio
correspondiente a la derecha de Z:

δ(q3,B)=(q3,B,R)

δ(q3,Z)=(q4,Z,R)

δ(q4,B)=(q5,1,R)

δ(q4,0)=(q4,0,R)

δ(q4,1)=(q4,1,R)

En el estado q5 la MT busca de nuevo el símbolo Z para pasar de nuevo al


estado q2  :

δ(q5,0)=(q5,0,L)

δ(q5,1)=(q5,1,L)

δ(q5,Z)=(q2,Z,L)

El otro caso es que en q2 se encuentre con el símbolo 0. La MT procede de forma


análoga a los estados q3 y q4 pero escribiendo 0 en vez de 1. Para ello usaremos
los estados q6 y q7:

δ(q6,B)=(q6,B,R)

δ(q6,Z)=(q7,Z,R)

δ(q7,B)=(q5,0,L)

δ(q7,0)=(q7,0,R)

δ(q7,1)=(q7,1,R)

Finalmente, en la cinta sólo


quedará la palabra wR, es decir, la
palabra w escrita de derecha a
izquierda.

El diagrama de la máquina de
Turing es

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

INTRODUCCIÓN
Como podemos leer, Alan es uno de los grandes padres de la computación, y
realizo muchísimos trabajos en grandes áreas, así que por ahora nos centraremos
en uno de ellos. Su documento “Computables Numbers, with a Application to the
Entscheidungs problem”
Como parte de su prueba tenía que trabajar con la noción de cualquier algoritmo
posible o cualquier máquina posible. Él tenía que llegar a una forma muy general
de como los algoritmos o programas o máquinas trabajan.
Aquí es donde su noción de la máquina de Turing entra. Tras estudiar con
detenimiento el funcionamiento de sus máquinas, concluyó que era posible
diseñar un artilugio único capaz de cumplir las funciones de cualquier otra
máquina de Turing. A ésta se le llamó la "Máquina Universal de Turing".
Propiedades básicas
• Tienen un mecanismo de control que en cualquier momento puede estar en uno
de entre un número finito de estados.
• Realiza operaciones de movimiento, que consisten en mover el cabezal de cinta
una celda a la derecha o una celda a la izquierda y pasar a un nuevo estado.
• Realiza operaciones de escritura, que consisten en reemplazar un símbolo en la
cinta con otro símbolo y entonces pasar a un nuevo estado.

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

CONCLUSIÓN
Turing fue uno de los genios matemáticos más importantes del siglo pasado, el
creo lo que ahora conocemos como máquinas de Turing, su genio no tenia limites,
con ello dio paso a grandes avances en el mundo de la informática con o cual sus
grandes ideas lograron provocar un avance militar y de gran inteligencia para
todas las agencias inglesas con ello se buscó mejorar los sistemas, una vez
derrotados los nazis Turing tuvo ideas mayores a las que dio inicio creando una
maquina interconectada entre otras y mejorando los sistemas de conexión de
información optimizando los trabajos, mejorando la calidad de vida y llevando a
cabo avances que en años futuros se convertirían en las computadoras de la
actualidad.

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx
TECNOLÓGICO NACIONAL DE MÉXICO

Instituto Tecnológico de Villahermosa

INDICE
Introducción………………………………………………………………………………3
Máquinas de Turing……………………………………………………………………..4
Lenguaje de una Máquina de Turing………………………………………………….5
Lenguaje Recursivo……………………………………………………………………..5
Contenido………………………………………………………………………………...6
Copia de una cadena de unos a continuación de ella misma…………………….10
Producto de dos números…………………………………………………………….11
La rutina borra cintas………………………………………………………………….12
Los castores afanosos………………………………………………………………...14
Máquina de Turing Cuántica………………………………………………………….15
Máquina de Turing determinista y no determinista…………………………………16
Ejemplos…………………………………………………………………………………17
Conclusión……………………………………………………………………………….25
Bibliografía……………………………………………………………………………….26

Carretera Villahermosa-Frontera Km. 3.5 Cd. Industrial C.P. 86010 Apdo 424

Tels. 01 (993) 353-02-59, 353-26-49, Fax 137. Villahermosa, Tabasco, México

www.itvillahermosa.edu.mx

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy