Tarea 4.

Construcción de máquinas de Turing

Presentado por

LINA SOFIA VASQUEZ ARTEAGA

Presentado a

HELENA CLARA ISABEL ALEMAN

Universidad nacional abierta y a distancia

autómatas y lenguajes Formales

2023
EJERCICIO A
TRABAJAR

Caracterizac
ión de la Máquina de Turing (TM)
máquina de
Turing Una máquina de Turing es un modelo matemático de un dispositivo mecánico-
automático hipotético que puede realizar cálculos a partir de una cinta de
entrada, que contiene una secuencia de símbolos. La cinta se mueve a través de
un cabezal de lectura/escritura que lee un símbolo de la cinta y es capaz de
escribir un nuevo símbolo en su lugar.

Una máquina de Turing consta de un conjunto finito de estados, una cinta

infinita dividida en celdas y una cabeza lectora/escritora que se mueve a lo largo
de la cinta. En cada paso, la máquina lee el símbolo actual bajo la cabeza,
determina su estado actual y escribe un nuevo símbolo en la cinta, antes de
mover la cabeza a la izquierda o derecha en la cinta. La máquina puede cambiar
de estado y realizar diferentes acciones en función del símbolo leído, el estado
actual y la acción que se deba realizar..

M =(Q , Σ , Γ , δ , q0 , B , F)

Séptupla del ejercicio

K= { q0 , q 1 , q 2} Σ= { a ,b , c } Γ ={ 1 } s= { q0 } F={ q 1 }

Función de transición
 δ ( q0 , c )=( q0 , 1, R )δ ( q0 , b ) =( q 0 ,1 , R )δ ( q0 , a ) =( q 0 ,1 , R )
δ ( q0 ⊔ ) = ( q 1 , ⊔ , s )

Característica Máquina Reconocedora Máquina Transductora

Definición Una máquina que lee una Una máquina que lee una
cadena de entrada y cadena de entrada y
determina si pertenece a un produce una cadena de
lenguaje dado o no. salida correspondiente en
otro lenguaje.

Función Reconoce un lenguaje Transduce una cadena de

un lenguaje a otro

Tipo de Binaria: aceptación o rechazo Compleja: una cadena en

salida de la cadena otro lenguaje

Ejemplo Autómata finito no Una máquina de Moore

determinista (AFND) que que convierte un número
acepta el lenguaje {w | w es binario en un número
una cadena de ceros y unos decimal.
con igual cantidad de ceros y
unos}

Referencias
Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2006). Introduction to automata
theory, languages, and computation (3rd ed.). Pearson Education.

Sipser, M. (2012). Introduction to the theory of computation (3rd ed.). Cengage

 Learning.

Procedimien Cadena a validar: aaabbbcccc

to de paso a
paso del
recorrido de
una cadena

Paso 1: En el estado q0, leo una a, escribo un 1 y corro a la derecha

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

Paso 2: En el estado q0, leo una a, escribo un 1 y corro a la derecha

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

Paso 3: En el estado q0, leo una a, escribo un 1 y corro a la derecha

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

Paso 4: en el estado q0, leo una b, escribo un 1 y corro a la derecha

δ ( q0 , b ) =( q 0 ,1 , R )
Paso 5: en el estado q0, leo una b, escribo un 1 y corro a la derecha

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

Paso 6: en el estado q0, leo una b, escribo un 1 y corro a la derecha

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

Paso 7: En el estado q0, leo una c, escribo un 1 y corro a la derecha

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

Paso 8: En el estado q0, leo una c, escribo un 1 y corro a la derecha

δ ( q0 , c )=( q0 , 1, R )
Paso 9: En el estado q0, leo una c, escribo un 1 y corro a la derecha

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

Paso 10: En el estado q0, leo una c, escribo un 1 y corro a la derecha

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

Paso 11: En el estado q0, leo un espacio vacio, no escribo nada y me detengo y
llego a q1

δ ( q0 ⊔ ) = ( q 1 , ⊔ , s )
Practicar y
verificar lo
aprendido
 Colaborativo

Ejercicios Grupal 1: Creación de Máquina de Turing Reconocedora que cambie el alfabeto a por n

El grupo deberá crear una Máquina de Turing Reconocedora y diligenciar la tabla:

Ejercicio a
trabajar

Caracterizac Máquina de Turing (TM)

ión de la
máquina de Séptupla
Turing M =(Q , Σ , Γ , δ , q0 , B , F)

Séptupla del ejercicio

 K= { q0 , q 1 , } Σ= { a } Γ ={ n } s= { q0 } F={ q 1 }

Transiciones
δ ( q0 , a ) =( q 0 ,n , R )

δ ( q0 , ⊔ ) = ( q 0 , n , L )

Característica Máquina Reconocedora Máquina Transductora

Definición Una máquina que lee una Una máquina que lee una
cadena de entrada y cadena de entrada y
determina si pertenece a un produce una cadena de
lenguaje dado o no. salida correspondiente en
otro lenguaje.

Función Reconoce un lenguaje Transduce una cadena de

un lenguaje a otro

Tipo de Binaria: aceptación o rechazo Compleja: una cadena en

salida de la cadena otro lenguaje

Ejemplo Autómata finito no Una máquina de Moore

determinista (AFND) que que convierte un número
acepta el lenguaje {w | w es binario en un número
una cadena de ceros y unos decimal.
con igual cantidad de ceros y
unos}

Procedimie
nto de paso Cadena a leer:
a paso del aaaaaaaaa
recorrido de
una cadena
Paso 1: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )

Paso 1: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )

Paso 2: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )

Paso 3: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )
Paso 4: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )

Paso 5 En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )

Paso 6: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )

Paso 7: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )
Paso 8: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )

Paso 9: En el estado q0, leo una a y escribo una n

δ ( q0 , a ) =( q 0 ,n , R )

Paso 10: En el estado q0, leo una cadena vacía, escribo una n y me desplazo a la
izquierda y llego a q1
δ ( q0 , ⊔ ) = ( q 0 , n , L )

Llego al estado de aceptación

Practicar y
verificar lo
aprendido
Ejercicio Grupal 2: Código convolucional

Desarrolle el siguiente ejercicio: Asuma que hubo error en el dato recibido en el par de bits
codificados 2, 5 y 8 con distancia de haming.

Teniendo en cuenta que el dato de entrada es: 10111100

 1. Realice el diagrama de árbol. (Complete la tabla)

Bit(posicion dada en el orden que entran asociado a k)

8 7 6 5 4 3 2 1
Datos 1 0 1 1 1 1 0 0
Estados presentes 10 11 01. 10 11 10 10 00.
Codificado 00. 01. 10 10 10 11 10. 00-
Recibido 01. 01. 10 11 10 11 01. 00-

Diagrama de arbol

2. Realice el diagrama de estados para ese dato de entrada.

3. Identifique en el diagrama de Trellis la ruta correcta (identificando salidas codificadas).

4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

Referencias