Ejercicio 1:

Diseñe una MT que se comporte como reconocedor que su lenguaje sea {a,b} que acepte cadenas
que empiecen y terminen en el mismo símbolo.

1. Identifique los componentes de la Máquina de Turing (descríbala).

{𝑎, 𝑏} = 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎

{1,0} = 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑠𝑎𝑙𝑖𝑑𝑎

{𝑞0, 𝑞1, 𝑞2, 𝑞3} = 𝑒𝑠𝑡𝑎𝑑𝑜𝑠

2. Diséñela en un Diagrama de Moore.

De acuerdo a lo mencionado damos la muestra del diagrama en el programa JFLAP así:

3. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada.

Aquí se muestra el diagrama de la maquina MT con la secuencia valida y vamos a explicarla

paso a paso así:

En esta imagen podemos ver que se reemplaza la a por 1 y la desplaza así hacia la derecha
respectivamente.
En esta imagen se muestra la transición del esta q0 a q1 y analiza la transición b en 0.

Aquí vemos como se reemplaza correctamente la b en parámetros de 0 y se desplaza hacia

la derecha.
 Por ultimo aquí vemos que sí reconoce los parámetros de vacío termina de validarse como
cadena valida correctamente a su estado final.

4. Identifique una cadena que no sea válida y justifíquela porque.

De acuerdo a lo analizado en la cadena no valida mostraremos paso a paso sus transiciones

y explicaremos porque no es válida así:

Como se muestra la cadena es rechazada y mostraremos el paso a paso así:

En esta imagen se aprecia que paso correctamente del estado q0 a q1 respectivamente.

En esta imagen se puede observar que pasa al estado b correctamente y lo convierte en 0.

 Por ultimo podemos ver en el diagrama que al analizar la última cadena es invalida porque
solamente está tomando parámetros de error porque solamente se encuentra el parámetro
b desplazándolo correctamente hacia la derecha; con esto se evidencia que da un error
como muestra la gráfica, dando si la justificación del mismo e indicando que la cadena
analizada no es correcta y por eses el lenguaje algorítmico expresado en la maquina es
incorrecto.

5. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

Según lo analizado se puede mencionar que el desarrollo del ejercicio es un MT porque da

a correlación diferentes mecanismos de entrada entre sus estados con un conjunto de
alfabeto representado por {a, b} y a su vez nos muestra las transiciones probatorias que nos
como resultado una cadena valida en cada estado y logra formar un autómata importante
para el procesamiento de datos reconocedores en la cadena y algoritmo empleado en el
contexto cíclico de cada inclusión de parámetros veraces y fidedignos con su estructura
probada en el diagrama de Moore.
 Ejercicio 3:

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.

1. Determine cuál fue el dato de entrada. (Complete la tabla)

De acuerdo a lo planteado en la guía de bits codificados analizamos diferentes parámetros de

distancia con haming, el cual se establece diferentes distancias paralelas en resolver el ejercicio;
con esto completamos la tabla así:

8 7 6 5 4 3 2 1

Datos 1 1 0 1 0 0 0 1

Estado 11 10 01 10 00 00 01 11
Presente
Estado 10 00 01 11 00 11 10 01
Codificado
Recibido 11 00 01 10 00 11 00 01

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

Para el respectivo diagrama de estados escogimos el sistema JFLAP para tener una forma gráfica
más ilustrativa y que nos puede dar un sentido establece en cada uno de sus parámetros vacíos
de entrada en los bits correspondientes así:
 3. Identifique en el diagrama de Trellis la ruta correcta (identificando salidas codificadas).

De acuerdo a los bits codificados y estados presentes se trazan líneas de un camino correcta
del código dividiendo los bits en 0/1 con líneas intermitentes y tomando los datos de salida así:

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

En datos de mejora de la velocidad y del canal de dato mostraremos un diagrama de Viterbi, en

este trataremos de decodificar con el algoritmo matemático en la ruta correcta específica con
los datos más importantes veraces y con una velocidad en contexto con la corrección de datos
redundantes en su nivel de recepción así:

2 4
2 4
3
4
2
1 1 3
1 2 3 4
5
2 3
3
3
2 3
1
 10 11 10
11 00 01 10 00 11 00 11 01
00 11

01
01
00 00
10 10 10

11 10 10
01