AUTOMATAS Y LENGUAJES FORMALES

Unidad 2 - Tarea 4 - Construcción de Máquinas de Turing

Presentado a:

Jaime Jose Valdez

Presentado Por:

Fernando López Ocampo

Código: 1088293998

Grupo: 301405_2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería – ECBTI

Ingeniería de Sistemas

NOVIEMBRE de 2021.
 EJERCICIOS A DESARROLLAR

Ejercicio 1: Maquinas de Turing

Ejercicio d:

EJERCICIO A TRABAJAR

CARACTERIZACION DE LA  Identificación de la séptupla

MAQUINA DE TURING
Q={q 0 , q 1 , q 2 }
Σ={a , b , 󧰧 }
Γ ={󧰧}
S ¿ q0 Estado inicial
F ¿ q 2Estado final
δ =¿ Función de la transición

 Tabla de transicion

δ: (q0, a) = (q0, a, R)
δ: (q0, b) = (q1, a, R)
δ: (q1, a) = (q0, b, L)
δ: (q1, b) = (q1, b, R)
δ: (q1, ҵ) = (q2, ҵ, R)

 Realizar un cuadro donde explique las diferencias y similitudes de

las máquinas reconocedoras y Transductoras cada una con su
respectivo ejemplo.

Reconocedor Transductor
Similitudes: Similitudes:
 Una máquina de Turing  Una máquina de Turing
acepta un lenguaje L si acepta un lenguaje L si
dada una entrada w en dada una entrada w en
la cinta, la máquina de la cinta, la máquina de
Turing se detiene en un tuting se detiene en un
estado final. estado final.
 Una máquina de Turing  Una máquina de Turing
 reconoce un lenguaje L reconoce un lenguaje L
si dada una entrada w si dada una entrada w
en la cinta, la máquina en la cinta, la máquina
de turing se detiene en de turing se detiene en
un estado final. un estado final.
Diferencias Diferencias
No realiza modificaciones en la Modifica el contenido de la
cinta cinta.
PROCEDIMIENTO
DE PASO A PASO Cadena a realizar: abaabbbaa
DEL RECORRIDO
DE UNA CADENA Paso 1: La máquina de Turing se encuentra en el estado inicial q 0 y tiene
la cadena de entrada en la cinta, con el cabezal en la primera entrada.

Paso 2: Estando el estado inicial q 0, lee el dato de entrada b escribe en la

cinta un b, la máquina de turing permanece en el estado q 0, y el cabezal
se desplaza a la derecha.

Paso 3: Estando el estado inicial q 0, lee el dato de entrada a escribe en la

cinta una a, la máquina de turing pasa al estado q 1, y el cabezal se
desplaza a la iizquierda.

Paso 4: Estando el estado q 1, lee el dato de entrada a escribe en la cinta

una a, la máquina de turing pasa al estado q 0, y el cabezal se desplaza a la
izquierda.
Paso 5: Estando el estado q 0, lee el dato de entrada a escribe en la cinta
una b, la máquina de turing pasa al estado q 0, y el cabezal se desplaza a la
derecha.

Paso 6: Estando el estado q 0, lee el dato de entrada a escribe en la cinta

una a, la máquina de turing pasa al estado q 1, y el cabezal se desplaza a la
derecha.

Paso 7:
Paso 8:

Paso 9:

Paso 10:
Paso 11:

Paso 12:

Paso 13:
Paso 14:

Paso 15:

Paso 16:
Paso 17:

Paso 18:

Paso 19:

Paso 20:
 Estando el estado final q 2, se puede comprobar que la cadena de entrada
queda con un valor de (abaabbbaaa) es aceptada por la máquina de
Turing.

PRACTICAR Y VERIFICAR
LO
APRENDIDO
 REFERENCIAS BIBLIOGRAFICAS

 González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web].
Recuperado de http://hdl.handle.net/10596/18316
 Alfonseca, M. (2000). La máquina de Turing. Números, Las matemáticas del siglo XX una mirada
en 101 artículos.
 Agudelo, J. C., & Sicard, A. (2004). Máquinas de Turing paraconsistentes: una posible definición.
Matemáticas: Ensenanza Universitaria, 12(2), 37-51.