Autómatas y lenguajes formales

Tarea 4
Construcción de Máquinas de Turing

Presentado a:
RAFAEL PÉREZ HOLGUÍN
Tutor (a)

Entregado por:

FRANCISCO JAVIER CORTES – 80228157

OSCAR JAVIER CASTILLO RAMIREZ - 79871421
DANIEL FELIPE PERALTA CARVAJAL
- 1075682020
WENDY KATHERINE SANCHEZ LOPEZ - 1069764179

Grupo: 301405_70

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

VICERRECTORÍA ACADÉMICA Y DE INVESTIGACIÓN
CURSO DE AUTÓMATAS Y LENGUAJES FORMALES
NOVIEMBRE
2021
Trabajos Individuales

Estudiante Link al documento Individual

Francisco Cortes https://docs.google.com/docum

ent/d/1Hdl0-9bee-9uR453elz1k
GNyB2bONi-FiK0zmv6I4jA/edit?
usp=sharing

Oscar Javier Castillo Ramirez https://docs.google.com/docum

ent/d/1SBmP4My8AQM6LIx689L
GuiYJNxe7a6rc/edit?usp=sharin
g&ouid=1068949256715807103
57&rtpof=true&sd=true

WENDY KATHERINE SANCHEZ https://docs.google.com/docum

ent/d/15gdXHfuApX91bA1MSP0
aa14OMc1gVhgx/edit?usp=shari
ng&ouid=108218142093068401
754&rtpof=true&sd=true

Daniel Felipe https://docs.google.com/docum

ent/d/1t9ZwQWyQHuuWJbtAGo
NhZICn4AiG6Xd7/edit?usp=shari
ng&ouid=116784254279694843
428&rtpof=true&sd=true
Resumen de Aportes

Fecha Estudiante Resumen De Aporte

2021-11-18 Francisco Cortes Creación de Documento

virtual

2021-11-18 Francisco Cortes grupal 1: Propuesta de TM

reconocedor y
caracterizacion del TM

2021-11-19 Oscar Javier Castillo Ejercicio Grupal 2: Código

convolucional

2021 - 11 - 19 Daniel Peralta Caracterización de la

2021 - 11 - 20 máquina de Turing,
mediante la séptupla,
complemente su definición
formal y cuadro que se
visualiza diferencias y
similitudes de las
máquinas reconocedoras.
Trabajo en el
procedimiento paso a paso
del recorrido de una
cadena y practicar lo
aprendido apoyado en el
simulador JFLAP.

2021-11-21 Francisco Cortes Correccion del Ejercicio 2

Desarrollo:

Ejercicios Grupal 1: Creación de Máquina de Turing Reconocedora

EJERCICIO A
TRABAJAR

Propuesto por
Francisco Cortes

la máquina de turing propuesta es una máquina

reconocedora del lenguaje L=01*0

Caracterización Máquina de Turing (TM) M= {Q,Σ,Γ,q0,b,F,δ}

de la máquina
de turing Q= {q0,q1,q2} Conjunto finito de estados de
control
Realizado por Σ= {0,1} Conjunto finito de símbolos de
Francisco Cortes entrada(Alfabeto)

Γ={x,y} Conjunto finito de símbolos de la

cinta
q0 Estado inicial
b=◻ Símbolo blanco (No puede hacer
parte de
Σ). Aparece en todas las casillas
excepto en
aquellas que contienen los
símbolos de
entrada.
F=q2,qX Conjunto de estados finales o de
aceptación (accept/reject)
qX= estado de rechazo tácito

δ= QxΣ→Γx(R/L)xQ Función de transición (q,X) = (p, Y,

D)
q es un estado, X un símbolo de la cinta, p es un nuevo
estado, en Q.
Y es un símbolo en Γ que substituir X.
D es decir R e I es decir L, izquierda o derecha, dirección
en que la cabeza se mueve.

Tabla de transiciones (ver abajo)

δ Tabla de Transiciones

Símbolo de q0 q1 q2
Cinta leido / w : R/L : w : R/L : w : R/L :
input (Σ + n.s. n.s. n.s.
◻)

0 x : R : q1 x : R : q2 -

1 - y : R : q1 -

◻ - - -

Máquinas Maquinas Traductoras

reconocedoras
Máquina de Turing capaz Modifica el contenido de la
de reconocer un lenguaje cinta realizando cierta
L. función.

Máquina de Turing capaz Modifica el contenido de la

de aceptar un lenguaje L. cinta realizando cierta
función.

Ejemplo: Máquina de
Turing que sustituye los
dígitos por cero, Máquina
Reconoce un lenguaje L,
de Turing que añade un
si dada una entrada (w)
bit de paridad a la
en la cinta, la máquina de
entrada. Máquina de
Turing llega al estado final
Turing que duplica el
si y sólo sí: w L
número de 1s que hay en
la cinta.

De esta manera, si w ∉ L, Si la entrada está bien

la Máquina de Turing formada, debe terminar
podría no parar. en el Estado Final.

Ejemplo: Una Máquina de

Turing que reconoce el
lenguaje a*b*.
Procedimiento
de paso a paso
del recorrido
de una cadena

Cadena para validar: 010

Cinta que almacena el alfabeto o la cadena de
caracteres

Iniciamos en estado q0, donde se lee un 0, la cinta nos

escribirá una x y se desplazará hacia la derecha.
 Seguimos de acuerdo a la transición, debido a la estrella
de Kleene, estando en q1 lee un 1, nos escribirá una y
se desplazará hacia la derecha.

Practicar y
verificar lo Apoyado en el Simulador JFLAP se validan algunas
aprendido cadenas válidas y rechazadas por la máquina.
Ejercicio Grupal 2:
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: 00100001

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

Desarrollado Por Francisco Cortés

Cuadros originalmente consignados en:

https://docs.google.com/spreadsheets/d/1PP6VAgoc8QXJ_5YPYBPWP66wDQ1l
8Xw6OeAQkicmLi8/edit?usp=sharing
 xor(IN,S1 xor(IN,S
) O,S1)

IN S0 S1 C1 C0 Bit # S0' S1'

0 0 0 4,5 00
0 0
1 1 1 1,6 10

0 0 1 2,7 01
1 0
1 1 0 11

0 1 1 3,8 00
0 1
1 0 0 10

0 1 0 01
1 1
1 0 1 11

Initial
State

Shift
Register 001 010 100 000 000 001 010 100 00

8 7 6 5 4 3 2 1 0

Input 0 0 1 0 0 0 0 1

Present
State 00 01 10 00 00 00 01 10

Input
Encoded 11 01 11 00 00 11 01 11

Received 10 01 11 10 00 11 11 11
 Bit 1 2 3 4 5 6 7

Tree
Diagram 1 0 0 0 0 1 0

00 01

00 01

00 11

00 10

0 up 11

1 down 00

01

00 01

11

10

Present State Next State Outputs

Present
State\Input 0 1 0 1

00 00 10 00 11

01 00 - 11 -

10 01 - 01 -

Trellis
Diagram

Bit 1 2 3 4 5 6 7 8

States\O
utputs 11 01 11 00 00 11 01 11

00 x x x x x

01 0 x

10 0

Algoritmo de Viterbi

En desarrollo aqui:
https://app.diagrams.net/#G117BmQc-FZPWNGvR64EIMI0_pYNsFYlDw

Hay 2 bits incorrectos, aun así el procedimiento fue seguido de forma correcta
con base en las fuentes consultadas (ver bibliografía)

Por Oscar Javier Castillo

8 7 6 5 4 3 2 1

DATOS 0 0 1 0 0 0 0 1

ESTADO 00 01. 10 00. 01. 11 11 10

PRESENTE

COFICADO 11. 01. 11 11 10 01. 10 11

RECIBIDO 10 01. 11 01. 10 01. 11 11

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).

bit (posición dada en el orden que entran, asociado a k)

Desarrollado por: WENDY KATHERINE SANCHEZ LOPEZ

8 7 6 5 4 3 2 1

DATOS 0 0 1 0 0 0 0 1

ESTADO 00 01. 10 00. 01. 11 11 10

PRESENTE

COFICADO 11 01 11 11 10 01 10 11

RECIBIDO 1 01 11 10 10 01 11 11

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

Procedimiento usado
Resultado

Al invertir la cadena a su orden original desde el bit 8 hasta el bit 1 la cadena

enviada sería 00100001 que es igual a la cadena original.
 BIBLIOGRAFÍA

● Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000).

Teoría de lenguajes, gramáticas y autómatas para informáticos. Digitalia.
(pp. 127 - 142). Recuperado de
https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost
-com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&A
N=318032&lang=es&site=ehost-live&ebv=EB&ppid=pp_Cover
● García, P., Pérez, T., Ruiz, J., Segarra, E., Sempere, J., & de Parga, M.
(2001). Teoría de autómatas y lenguajes formales. alfaomega.
● Martin, J. (2004). Introduction to languages and the theory of
computation. Lenguajes formales y teoría de la computación (3a ed.).
Mexico: McGraw-Hill.
● Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000).
Teoría de lenguajes, gramáticas y autómatas para informáticos. Digitalia.
(pp. 11 - 80). Recuperado de
https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost
-com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&A
N=318032&lang=es&site=ehost-live&ebv=EB&ppid=pp_Cover
● Máquinas de Turing, 2021. Bootcamp AI. Recuperado de:
https://bootcampai.medium.com/m%C3%A1quinas-de-turing-c329ccc2
70f
 Máquinas de Turing. INAOE, 2021. Recuperado de:

https://ccc.inaoep.mx/~emorales/Cursos/Automatas/IntroMaquinasTurin
g.pdf

● Den, Nancy (2018). Error Correcting Codes - Binary Convolutional Code.

Retrieve from
https://www.tutorialspoint.com/error-correcting-codes-binary-convolutio
nal-code
● Sutton, Zac (Uconn HKN), (2017), Digital Communications: Viterbi
Algorithm. Retrieved from
https://www.youtube.com/watch?v=dKIf6mQUfnY