AUTOMATAS Y LENGUAJES FORMALES

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

Presentado por:

Carlos Augusto Forero Tafur

Código: 79883515
Wilder Alfredo Arias
Código: 80,249,826
Diana Carolina Talero
Codigo: 53,063,130

Grupo: 301405_8
Presentado a:
Rafael Pérez Holguín
Tutor

Universidad Nacional Abierta y a Distancia – UNAD

Escuela Ciencias básicas, tecnología e ingeniería
AUTOMATAS Y LENGUAJES FORMALES
mayo
2021
 Introducción

Con el desarrollo de la actividad propuesta en la unidad tres sobre

Construcción de máquinas abstractas, el estudiante Unadista podrá crear
Máquinas de Turing en donde se identifican las propiedades y las
características que lo componen, identificando las diferencias y similitudes
que se presentan en las maquinas reconocedoras y Transductoras.

Con apoyo del simulador JFLAP, la persona estará en la capacidad de

identifica y ejecuta diferentes cadenas de aceptación o rechazo según la
Maquina de Turing.
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ó En este espacio se realiza:

n de la
máquina de
turing - Mediante la definición formal explicar las
características de la máquina de Turing.

M= (Q, ∑, Г, δ, q0, B, F)

Q = {q0, q1, q2, q3} Conjunto de estados

∑ = {0,1} corresponde al alfabeto de entrada
Г = {0,1} Símbolo en la cinta
s = {q0} estado inicial
F = {q3} estado final

- Realizar un cuadro donde explique las diferencias

 y similitudes de las máquinas reconocedoras y
Trasductoras

Procedimiento Realice de manera detallada y grafica el

de paso a paso procedimiento paso a paso del recorrido de una
del recorrido cadena (La cadena la selecciona el estudiante, debe
de una cadena contener como mínimo 10 caracteres) en la máquina
de turing. Describir cómo funciona el almacenamiento
mediante el uso de las cintas, etc.

Gráfico

Realizar la representación utilizando flechas,

conexiones, diagramas que permitan ver el
funcionamiento de la máquina de Turing
transición por transición

Para una transición:

δ(q,X)=(p,Y,D)
δ (q0, 0)=(q0, 0, R)
δ (q0, 0)=(q0, 0, R)
δ (q0, 0)=(q0, 0, R)
δ (q0, 1)=(q0, 1, R)
δ (q0, 1)=(q0, 1, R)
δ (q0, 1)=(q0, 1, R)
δ (q0, 1)=(q0, 1, R)
δ(q0, Ø)=(q1, Ø, L)
δ(q1, 1)=(q1, 0, R)
δ(q1, 1)=(q1, 0, R)
δ(q1, Ø)=(q3, 1, L)

- Paso 1: Estando en el estado q, la cabeza de la MT

señala al símbolo de cinta X realizando el movimiento
hacia la derecha en la lectura de la cadena de
caracteres.
δ (q0, 0)=(q0, 0, R)

- Paso 2: Entonces la MT escribe el símbolo de cinta Y

en la casilla actual (cambia 0 por 0) y mueve la
cabeza una casilla hacia derecha realizando el
desplazamiento continua con la lectura del próximo
carácter 0.
δ (q0, 0)=(q0, 0, R)

- Paso 3: realiza la lectura del cero realiza la escritura

de cero y se desplaza hacia la derecha nuevamente.
δ (q0, 0)=(q0, 0, R)

- Paso 4: el MT continua en q0 realiza la lectura de 1

en la cinta y escribe un uno y se desplaza el cabezal
hacia la derecha.
δ (q0, 1)=(q0, 1, R)

- Paso 5: en este paso continúa realizando la lectura

de la cadena indicada realizando el movimiento del
MT hacia la derecha hasta encontrar un campo vacío:

δ (q0, 1)=(q0, 1, R)
- Paso 6: al continuar realizando la lectura el MT
reconoce el campo vacío realiza la transición hacia q1
dejando el campo vacío y realiza el desplazamiento
hacia la izquierda de la cinta.

δ(q1, 0)=(q2, 1, R)

- Paso 7: al estar en el estado q1 realiza la lectura de

la cinta lee un uno realiza la escritura de un cero
llegando al mismo q1 y corre hacia la derecha.

δ(q1, 1)=(q1, 0, R)
 - Paso 8: al estar en el estado q1 con transición vacío
se dirige hacia q3 escribe un uno y corre hacia la
izquierda llegando al estado de aceptación de la
cadena.
δ(q1, Ø)=(q3, 1, L)

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y

verificar lo validar por lo menos cinco cadenas válidas y 5
aprendido cadenas rechazadas por la máquina. En este espacio
adjunta la imagen.
 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: 00100111

TABLA DE DATOS, ESTADOS Y DATOS CODIFICADOS

m = memoria de codigo
ENTRADA 00100111 0 0 1
k = numero de bits de lapalabra de datos
1 110111
Bit n = numero de bits codificada 101011
1

8 7 6 5 4 3 2 1
DATOS 0 0 1 0 0 1 1 1
ESTADO PRESENTE 00 01 10 00 01 11 11 10
CODIFICADO 11 01 11 11 10 01 10 11
RECIBIDO 01 01 11 01 10 01 11 11

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

CODIFICADOS
ESTADOS

0 11
1
11 11 01
10 11
1 10 00
01
10 00 01

11 01 10
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).

11 10 01 10 11 11 01 11

00

01

10

11

10 01 10 01
01 10 01

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

 Conclusión

Con el desarrollo del siguiente trabajo se logró de manera exitosa la

compresión y la elaboración de máquinas de turing mediante el
desarrollo de los ejercicios propuestos. Además se elaboró
correctamente un ejercicio de código convolucional mediante su
diagrama de árbol y la elaboración de su diagrama de trellis y de
viterbi
 Referencias Bibliográficas

Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes

formales. Madrid etc., Spain: McGraw-Hill España. (pp. 117 -
150). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/50119

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del

Contexto. [Archivo web]. Recuperado de
http://hdl.handle.net/10596/18317