Tarea 4 Grupal

Escuela de Ciencias Básicas, Tecnología e Ingeniería
301405 – Autómatas y lenguajes formales
EJERCICIOS GRUPAL 1: CREACIÓN DE MÁQUINA DE TURING TRANSDUCTORA
El grupo deberá crear una Máquina de Turing Transductora y diligenciar la tabla:
Ejercicio a Trabajar.
Caracterización de la máquina de Máquina de Turing (TM)

Turing.
M= (Σ, Q, Γ, q0, b, f, δ) donde:
Σ:es un conjunto finito de símbolos distinto del

espacio en blanco, denominado alfabeto de máquina
o, de entrada
Γ: es un conjunto finito de símbolos de cinta,

denominado alfabeto de cinta (Σ, ⊆ Γ)
Q: es un conjunto finito de estados
b ∈ Γ: es un símbolo denominado blanco, y es el

único símbolo que se puede repetir un número
infinito de vece
q0 ∈ Q: el estado inicial del autómata
F ⊆ Q: es el subconjunto de estados finales
δ = (Q * Γ) -> (Q * Γ * L, R)
Página 1 de 10
Q={q 0 , q 1 , q 2 , q 3 }
Σ= {0,1 }
Γ ={0,1 , b }
q 0 Estado inicial.
b Símbolo en blanco .
F={ q 3 }
Realizar la tabla de transición
0 1 b
q0 q 0 ,0 , R q 0 ,1 , R q1, b , L
q1 q1, 1 , L q2, b , L
q2 q2, 0 , L q2, 1 , L q3 , b , R
Realizar un cuadro donde explique las diferencias y

similitudes de las máquinas reconocedoras y
Transductoras cada una con su respectivo ejemplo.
Máquinas Maquinas
Reconocedoras Transductoras
Son aquellas que la Generan acciones o

entrada es binaria salidas dependiendo
(si/no), depende de las entradas y/o
únicamente del estado estados.
y existe un estado
Se implementan en
inicial.
sistemas embebidos
Página 2 de 10
típicamente para
aplicaciones de
Puede decidirse que
control.
cuando la maquina
produce una salida, es
porque ha sido
reconocido o aceptado.
Estas máquinas, los

estados con salida
positiva son
denominados estados
finales.
Cadena a Validar = 1100110011
1. La máquina inicia en el estado q 0 y lee el

valor en la cinta 1. Por la estrella de Kleene
va a permanecer en el mismo estado hasta
Procedimiento de paso a paso que se lea un valor vació, donde pasará a
del recorrido de una cadena. q 1. Mientras tanto, si lee un 1 escribirá un 1
en la cinta y avanzara hacia la derecha; si
lee un 0, escribirá un 0 y avanzara hacia la
derecha.
Página 3 de 10
Como se mencionó antes este proceso se repite

hasta que se lea un valor vacío.
Cuando se lee el valor vacío, la máquina de Turing

pasa al estado q 1, marca un valor vacío en la cinta
y avanza hacia la izquierda.
En el estado q 1, al retroceder lee el valor 1, con el

cual cambia al estado q 2, escribe en la cinta el
Página 4 de 10
valor 2 y se mueve hacia la izquierda.
En este estado, gracias a la estrella de kleene al

leer los valores de 0 y 1 permanecerá en el estado
q 2. En la cinta al leer un 1 se escribirá un 1 y al
leer un 0 se escribirá un 0, para ambos casos la
maquina se moverá hacia la izquierda.
El cambio de estado se dará cuando se lea un
Página 5 de 10
valor vacío.
La máquina nuevamente lee el valor vacío y

cambia al estado q 3 , escribe un valor vacío en la
cinta y se mueve hacia la derecha. Al final, como la
cadena terminó en el estado q 3 se acepta la
cadena.
Practicar y verificar lo Aprendido.
EJERCICIO GRUPAL 2:
Código convolucional
Página 6 de 10
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: 00100111
1. Realice el diagrama de árbol. (Complete la tabla)

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).
Tabla:
DIAGRAMA DE ÁRBOL.
Página 7 de 10
DIAGRAMA ESTADOS
DIAGRAMA TRELLIS
"11" "10" "01" "10" "11" "11" "01" "11"
"00"
"01"
"10"
"11"
DIAGRAMA VITERBI
"11" "10" "01" "10" "11" "11" "01" "11"
"00" "00" 0 "11" 0 "00" 2 "11"

0
"01" "01" 2 "10" 2 "10" 0 "01" 0
"10" "11" 0 "00" 2

"11" 0 "00" 2
"11" "10" 0 "01" 0 "01" 0 "10" 2
Página 8 de 10
Página 9 de 10
Bibliografía
Gonzalez, A. (19 de abril de 2020). Máquina de Turing 2. Obtenido de YouTube:
https://www.youtube.com/watch?v=LnKaEcag0jM&t=257s
Ocw.uc3m.es Recuperado de http://ocw.uc3m.es/ingenieria-informatica/teoria-de-

automatas-y-lenguajes-formales/material-de-clase-1/tema-7-maquinas-de-turing
Desarrollo momento 3 Inglés J. Rojas Recuperado de

https://es.slideshare.net/JoseRojas33/desarrollo-momento-3-65534397
163.117.136.247 Recuperado de: http://163.117.136.247/ingenieria-informatica/teoria-de-

automatas-y-lenguajes-formales/ejercicios/ejercicios-tema-7-maquinas-de-turing
3 diagrama de estados 2018 Angela María Gonzalez Amarillo YouTube Recuperado de

https://www.youtube.com/watch?time_continue=27&v=JTJkNco2tjQ&feature=emb_logo
2 Diagrama de Arbol 2018 Angela María Gonzalez Amarillo YouTube Recuperado de

https://www.youtube.com/watch?v=HNS4IQw64Sk
1 Códigos Convolucionales Tellis y Viterbi 2018 Angela María Gonzalez Amarillo YouTube
Recuperado de https://www.youtube.com/watch?v=Oe9WEAOLeyc&t=175s
Página 10 de 10

Tarea 4 Grupal

Cargado por

Copyright:

Formatos disponibles

Tarea 4 Grupal

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea 4 Grupal

Cargado por

Copyright:

Formatos disponibles

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

301405 – Autómatas y lenguajes formales

EJERCICIOS GRUPAL 1: CREACIÓN DE MÁQUINA DE TURING TRANSDUCTORA

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

Caracterización de la máquina de Máquina de Turing (TM)

Σ:es un conjunto finito de símbolos distinto del

Γ: es un conjunto finito de símbolos de cinta,

Q: es un conjunto finito de estados

b ∈ Γ: es un símbolo denominado blanco, y es el

q0 ∈ Q: el estado inicial del autómata

F ⊆ Q: es el subconjunto de estados finales

301405 – Autómatas y lenguajes formales

Realizar la tabla de transición

Realizar un cuadro donde explique las diferencias y

Son aquellas que la Generan acciones o

301405 – Autómatas y lenguajes formales

Estas máquinas, los

Cadena a Validar = 1100110011

1. La máquina inicia en el estado q 0 y lee el

301405 – Autómatas y lenguajes formales

Como se mencionó antes este proceso se repite

Cuando se lee el valor vacío, la máquina de Turing

En el estado q 1, al retroceder lee el valor 1, con el

301405 – Autómatas y lenguajes formales

valor 2 y se mueve hacia la izquierda.

En este estado, gracias a la estrella de kleene al

El cambio de estado se dará cuando se lea un

301405 – Autómatas y lenguajes formales

La máquina nuevamente lee el valor vacío y

Practicar y verificar lo Aprendido.

301405 – Autómatas y lenguajes formales

Teniendo en cuenta que el dato de entrada es: 00100111

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

301405 – Autómatas y lenguajes formales

"11" "10" "01" "10" "11" "11" "01" "11"

"11" "10" "01" "10" "11" "11" "01" "11"

"00" "00" 0 "11" 0 "00" 2 "11"

"01" "01" 2 "10" 2 "10" 0 "01" 0

"10" "11" 0 "00" 2

"11" "10" 0 "01" 0 "01" 0 "10" 2

301405 – Autómatas y lenguajes formales

301405 – Autómatas y lenguajes formales

Ocw.uc3m.es Recuperado de http://ocw.uc3m.es/ingenieria-informatica/teoria-de-

Desarrollo momento 3 Inglés J. Rojas Recuperado de

163.117.136.247 Recuperado de: http://163.117.136.247/ingenieria-informatica/teoria-de-

3 diagrama de estados 2018 Angela María Gonzalez Amarillo YouTube Recuperado de

2 Diagrama de Arbol 2018 Angela María Gonzalez Amarillo YouTube Recuperado de

También podría gustarte