Foro 1

 

Foro 1  1  La máquina de Turing.  Turing. 

TÓPICOS DE ARQUITECTURA DE CÓMPUTO  Maestría en Ciencias Computacionales y Telecomunicaciones

 Alumno: Ing. Ing. José Luis Be Bedolla dolla Villegas Matricula: 101255 Grupo: CC42 Docente: Mtro. Emmanuel Hernández Ortiz Puruándiro, Michoacán a 05 de noviembre del 2018

 

Contenido: INTRODUCCIÓN. .............. ............................ ............................ ............................ ............................. ............................. ............................ ............................ ............................ ............................ ..............3  Definición De Máquina De Turing: ............. ........................... ............................ ............................ ............................ ............................ ............................. .......................... ...........3  Características De Las Máquinas De Turing: ............. ........................... ............................. ............................. ............................ ............................ ..................... .......3  INSTRUCCIONES: .............. ............................ ............................. ............................. ............................ ............................ ............................ ............................ ............................ ......................... ........... 4  SOLUCIÓN: ............ .......................... ............................. ............................. ............................ ............................ ............................ ............................ ............................ ............................ ..........................5 ............5   De Acuerdo A Lo Solicitado En La Actividad Se Tiene: ............. ........................... ............................ ............................ ............................ ...................7 .....7  REFERENCIAS: .............. ............................ ............................ ............................ ............................ ............................ ............................ ............................ ............................ ............................. ................. 9 

2 

FORO 1. LA MÁQUINA DE TURING.

 

INTRODUCCIÓN. Definición De Máquina De Turing: Como menciona Iván Pérez (2005): es un dispositivo para reconocimiento de lenguajes (ya que es adaptada para simular la lógica de cualquier algoritmo de computador (es llamada una máquina universal de Turing, UTM y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador); consiste en una colección de celdas de almacenamiento que se extiende infinitamente en ambas direcciones, esencialmente en una cinta infinita de acuerdo a una tabla de reglas. definida por el matemático inglés Alan Turing como una «máquina automática» en 1936, en la revista Proceedings of the London Mathematical Society. Características De Las Máquinas De Turing: ➢ 

Cada ceda es capaz de almacenar un único símbolo

➢ 

La colección no tiene una celda primera ni única.

➢ 

Tiene capacidad de almacenamiento ilimitado

➢ 

A los contenidos de las celdas se puede acceder en cualquier orden.

➢ 

La cita tiene asociada una cabeza de lectura/escritura que ppuede uede moverse sobre la cinta y por cada movimiento, leerá o escribirá un símbolo y esta esta es la diferencia con respecto a los autómatas finitos y los autómatas de pila.

3 

FORO 1. LA MÁQUINA DE TURING.

 

INSTRUCCIONES: Juegue el doodle de la máquina de Turing: Juego   Descarg De scarga a aquí: aquí:  Juego Puede usar este tutorial para resolverlo: Tutorial   Descarg De scarga a aquí: aquí:  Tutorial Basado en su experiencia con el juego y conociendo las bases del funcionamiento de la Maquina de Turing, determine y comparta lo siguiente para obtener la G de Google, código binario de G es 01000111. El conjunto finito de estados Q= El conjunto finito de símbolos distinto del espacio en blanco, denominado alfabeto de máquina o de entrada Σ= 

El conjunto finito de símbolos de cinta, denominado alfabeto de cinta ᴦ= El estado inicial sϵQ= bϵᴦ  Es un símbolo denominado blanco, y es el único símbolo que se puede repetir un número infinito de veces = El conjunto de estados finales de aceptación FCQ= Fundamenta tus respuestas y comenta la aportación del compañero anterior, si estás de acuerdo o no y por qué.

4 

FORO 1. LA MÁQUINA DE TURING.

 

SOLUCIÓN:

Fig.1. Imagen del doodle de Google sin iniciar el juego. Al iniciar el juego dando click clic k sobre el botón verde en la parte superior derecha se observará observar á una cadena el cual será el número al que hay que llegar para que la primera G de Google cambie de color de gris a azul. El problema consiste en ver y pensar qué instrucciones hay que darle al controlador para convertir el número inicial en la cinta en el número objetivo como se observa en la fig. 2.

Fig.2. Se presiona el botón verde para iniciar la secuencia del juego Para lograr el objetivo, lo que tenemos que hacer es que la instrucción de escribir 0 cambie a la instrucción escribe un 1. Si se corre la máquina de nuevo, encontrará que, si se mueve

5 

FORO 1. LA MÁQUINA DE TURING.

 

a la izquierda, escribe un 1, se mueve tres lugares a la derecha y escribe un 1, obtendrá el valor correcto:

Fig.3. Se ingresa la secuencia de 1 a la citan, y se empiezan a realizar los cambios de izquierda a derecha, por lo cual da como resultado 01010 que es el buscado. El doodle entonces verifica si ambos números son iguales y si es así, se obtendrá la primera G.

Fig. 4. Se observa la secuencia correcta que muestra la G de Google que se solicita la actividad.

6 

FORO 1. LA MÁQUINA DE TURING.

 

De Acuerdo A Lo Solicitado En La Actividad Se Tiene: El conjunto finito de estados Q= {q0, q1, q2, q3, q4, q5, q6, q7, q8} El conjunto finito de símbolos denominado alfabeto de máquina o de entrada Σ = {0,1}  

El conjunto finito de símbolos de cinta, denominado Σ de cinta ᴦ = {0, 1, □} El estado inicial de sϵQ= q0 bϵᴦ  Es un símbolo denominado blanco, y es el único símbolo que se puede repetir infinitamente = {□} El conjunto de estados finales de aceptación FCQ= {q8} ya que solo lee el binario (01000111) Tabla de transición es: f: Q × Γ → Q × Γ × {I, D}

Tabla 1: Transiciones Estados. ESTADO/∑ >q0

 

q1 q2 q3 q4 q5 q6 q7 q8

0 (q1,1,R) (q3,0,R) (q4,0,R) (q5,0,R) Estado Final

1 (q2,1,R) (q6,1,R) (q7,1,R) (q8,1,R) -

Se procede a traducir los datos de la tabla 1 a la aplicación de “Jflap” y una vez hecha el

autómata de Turing queda como se muestra en la figura 1 en adelante, así como también sus verificaciones de funcionamiento para el carácter “G”  

Fig.5. El código binario de G es 01000111 y representado como un autómata de máquina de Turing se observa en la imagen.

7 

FORO 1. LA MÁQUINA DE TURING.

 

Fig.6. Haciendo la verificación de la cadena G = 01000111 en la aplicación “JFLAP” en la cual se verifica el autómata de la máquina de Turing para la cadena G.

Fig. 7. Como se muestra en la imagen el autómata si acepta la cadena Valida para G ya que llega al estado final y por lo tanto es válido como máquina de Turing.

8 

FORO 1. LA MÁQUINA DE TURING.

 

REFERENCIAS: [01] García, L., Martínez, G. (2005). Máquinas de Turing. En Apuntes de teoría de autómatas y lenguajes formales. (pp. 109-126). Barcelona: Barcel ona: Edit. Reverté. Alfonseca, Manuel (n.d.) La máquina de Turing. Extraído desde  desde http://www.sinewton.org/numeros/numeros/4344/Articulo33.pdf   [02] Quiroga, E., (2008). Módulo Autómatas y lenguajes formales, (p.p 1  – 143). Bogotá, Colombia: Universidad Nacional Abierta y a Distancia. [03] García, L., Martínez, G. (2005). Máquinas de Turing. En Apuntes de teoría de autómatas y lenguajes formales. (pp. 109-126). Barcelona: Edit. Reverté

9 

FORO 1. LA MÁQUINA DE TURING.