TÓPICOS DE ARQUITECTURA DE CÓMPUTO Maestría en Ciencias Computacionales y Telecomunicaciones
Alumno: Ing. José Luis Bedolla 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 De Acuerdo A Lo Solicitado En La Actividad Se Tiene:..........................................................................7 REFERENCIAS: .............................................................................................................................................. 9
FORO 1. 2 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 puede 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.
FORO 1. 3 LA MÁQUINA DE TURING. INSTRUCCIONES:
Juegue el doodle de la máquina de Turing:
Descarga aquí: Juego
Puede usar este tutorial para resolverlo:
Descarga 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é.
FORO 1. 4 LA MÁQUINA DE TURING. SOLUCIÓN:
Fig.1. Imagen del doodle de Google sin iniciar el juego.
Al iniciar el juego dando click sobre el botón verde en la parte superior derecha se 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
FORO 1. 5 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.
FORO 1. 6 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}
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.
FORO 1. 7 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.
FORO 1. 8 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: Edit. Reverté. Alfonseca, Manuel (n.d.) La máquina de Turing. Extraído desde http://www.sinewton.org/numeros/numeros/43- 44/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é
