Construcción de Máquinas de Turing

Tarea 4

Alexi Fernando Rodriguez Cuiche (cod. 1,121,718,634)

Tutor: Edgar Antonio Cortes

Universidad Nacional Abierta Y A Distancia

Automatas Y Lenguajes Formales
Ingenieria De Sistemas
2020
ACTIVIDAD 1: Maquinas de Turing

EJERCICI 1. Ejercicio d
OA
TRABAJA
R

Caracteriz La máquina de Turing (MT) se defina formalmente por las séptupla

ación del Q={q0,q1,q2,q3}, F={q3}, Σ={1}, Γ={0,1,b}, b, q0, {q2}
autómata a b п
a pila q0 q0,a,R q1,a,R
q1 q0,b,L q1,b,R q2,п,R
q2

Maquina de Turing Maquina de Turing transductora

reconocedora
El modelo básico de M.T. esta formado por un autómata finito, con un
dispositivo de lectura/escritura que controla una cinta de longitud infinita.
La cinta esta dividida en celdas en las que se almacena un único símbolo o
un espacio en blanco.
La lectura de los símbolos de la La lectura de los símbolos produce
cinta no afecta su contenido, modificaciones en la cinta, pudiendo
por lo que actúa parecido a un transformar la cinta es una muy
autómata finito. diferente a la que entro a la máquina.

Un ejemplo de maquina Un ejemplo de maquina transductora

reconocedora seria seria aquella que convierte todos los
L=𝒂𝒏 𝒃𝒎 ; 𝒏 > 𝟎, 𝒎 ≥ 𝟎 símbolos de la cinta en 1.

Procedimi
ento de
paso a
paso del Cinta de entrada
recorrido a a a a b a b b b b
de una
cadena
Indicador de estados

q0

PASO 1
La cabeza señala inicialmente al simbolo a, cambia su contenido por el simbolo
a, manteniéndose en el estado q0 y desplazándose a la derecha.

δ(q0,a)=(q0,a,R)

Cinta de entrada
a a a a b a b b b b

Indicador de estados

q0

Cinta de entrada
a a a a b a b b b b

Indicador de estados

q0

Repite este procedimiento hasta que lea un simbolo diferente al simbolo a.

Cinta de entrada
a a a a b a b b b b

Indicador de estados

q0
Cinta de entrada
a a a a b a b b b b

Indicador de estados

q0

Cinta de entrada
a a a a b a b b b b

Indicador de estados

q0

PASO 2
La cabeza señala al simbolo b, cambia su contenido por el simbolo a,
transitando al estado q1 y desplazándose a la derecha.

δ(q0,b)=(q1,a,R)

Cinta de entrada
a a a a b a b b b b

Indicador de estados

q0

Cinta de entrada
a a a a a a b b b b

Indicador de estados

q1
PASO 3
La cabeza señala al simbolo a, cambia su contenido por el simbolo b,
transitando al estado q0 y desplazándose a la izquierda.

δ(q1,a)=(q0,b,L)

Cinta de entrada
a a a a a a b b b b

Indicador de estados

q1

Cinta de entrada
a a a a a b b b b b

Indicador de estados

q0

PASO 4
La cabeza señala inicialmente al simbolo a, cambia su contenido por el simbolo
a, manteniéndose en el estado q0 y desplazándose a la derecha.

δ(q0,a)=(q0,a,R)

Cinta de entrada
a a a a a b b b b b

Indicador de estados

q0
Cinta de entrada
a a a a a b b b b b

Indicador de estados

q0

PASO 5
La cabeza señala al simbolo b, cambia su contenido por el simbolo a,
transitando al estado q1 y desplazándose a la derecha.

δ(q0,b)=(q1,a,R)

Cinta de entrada
a a a a a b b b b b

Indicador de estados

q0

Cinta de entrada
a a a a a a b b b b

Indicador de estados

q1

PASO 6
La cabeza señala al simbolo b, cambia su contenido por el simbolo b,
manteniéndose en el estado q1 y desplazándose a la derecha.
δ(q1,b)=(q1,b,R)
Cinta de entrada
a a a a a a b b b b

Indicador de estados

q1

Cinta de entrada
a a a a a a b b b b

Indicador de estados

q1

Repite este procedimiento hasta que lea un simbolo diferente al simbolo b.

Cinta de entrada
a a a a a a b b b b

Indicador de estados

q1

Cinta de entrada
a a a a a a b b b b

Indicador de estados

q1

Cinta de entrada
 a a a a a a b b b b

Indicador de estados

q1

PASO 7
La cabeza señala al simbolo vacio, transita a el estado q2 y se desplaza a la
derecha.

Cinta de entrada
a a a a a a b b b b

Indicador de estados

q1

Cinta de entrada
a a a a a a b b b b

Indicador de estados

q2

Practicar y
verificar lo
aprendido
BIBLIOGRAFIA

❖ González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado de
http://hdl.handle.net/10596/18315

❖ González, A. [Ángela]. (2020, julio 14). Lenguajes Regulares. [Archivo web]. Recuperado de
https://campus113.unad.edu.co/ecbti73/mod/hvp/view.php?id=1672

❖ González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/10470