Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estudiante:
CESAR JIMENEZ
Tutor
Grupo: 301405_3
1
Introducción
2
Ejercicio 1
1. Identifique los componentes de la Máquina de Turing (descríbala).
2. Diséñela en un Diagrama de Moore.
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.
4. Identifique una cadena que no sea válida y justifíquela por qué.
5. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.
Desarrollo
Diseño de la máquina: Se requiere de una máquina que lea una cadena de
caracteres conformada por los símbolos a y b y se detenga cuando el primer y último
símbolo sean iguales. Por lo tanto, se construyen dos ramas de estados (una por
cada símbolo del alfabeto) dependiendo del primer símbolo de la cadena de entrada,
se agrega un estado adicional que recorre la cadena de entrada hasta encontrar un
espacio en blanco (final de la cadena), se retorna a la posición anterior para validar
el ultimo carácter leído y se compara con el primero, en caso de ser iguales se va a
un estado final y se acepta la palabra, caso contrario se rechaza.
1. Descripción de la máquina:
Recordemos 𝑀 =< 𝑄, 𝛴, 𝛤, 𝛿, 𝑞0 , 𝐹 >
Tenemos:
𝑄 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }
𝛴 = {𝑎, 𝑏}
𝛤 = {𝑎, 𝑏, □}
𝑞0 = 𝑞0
𝐹 = {𝑞4 , 𝑞6 }
𝑀𝑇 = ({𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }, {𝑎, 𝑏}, {𝑎, 𝑏, □}, 𝛿, 𝑞0 , {𝑞4 , 𝑞6 })
2. Diagrama de Moore
3
A continuación, se muestra la representación gráfica de la Maquina de
Turing diseñada:
4
Se lee el símbolo a y se pasa al estado 𝑞1 en la rama superior, se avanza
a la derecha de la cinta con la cabeza L/E.
5
Esta misma operación se repite hasta encontrar el símbolo de vacío:
6
Al ser el último símbolo una a igual al primer símbolo de la palabra se re
escribe a en la cinta y se pasa al estado final 𝑞4 aceptando la cadena y
deteniéndose de esta forma la máquina de Turing.
4. Cadena no válida
Serán rechazadas por la máquina de Turing, todas aquellas cadenas cuyo
primer símbolo sea diferente al último, por ejemplo: abab
En este caso se observa, que a pesar de ser una cadena compuesta de
los símbolos reconocidos por la máquina de Turing, la misma no cumple
con la regla de que el primer símbolo sea igual al último (𝑎 ≠ 𝑏 ). Se realiza
la prueba ingresando esta cadena en la máquina en el simulador:
7
5. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.
Se trata de una Máquina de Turing (MT), ya que no está diseñada para
recibir en su entrada la descripción de otra máquina a simular, sino que
se alimenta solo de la información de su propia cinta. El diseño
corresponde a la Máquina de Turing, debido a que está diseñado para
realizar un cálculo específico y procesa cualquier información.
Ejercicio 2
f Entrada
Estado 0 1
𝑞0 𝑞1 𝑞0
8
𝑞1 𝑞3 𝑞0
𝑞2 𝑞1 𝑞2
𝑞3 𝑞2 𝑞1
G Entrada
Estado 0 1
𝑞0 1 0
𝑞1 1 1
𝑞2 0 1
𝑞3 0 0
Desarrollo
9
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.
Cadena valida
10
La máquina lee el siguiente símbolo de entrada “1”, queda igual 1 y regresa
al estado 𝑞0
11
Vuelve a leer el siguiente símbolo de entrada que es “1”, se cambia al símbolo
0 y pasa al estado 𝑞1 y finaliza aceptando la cadena ingresada “0110”
resultando como cadena de salida: 1101,
12
Diferencias con las máquinas 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.
13
Desarrollo
14
2. Realice el diagrama de estados para ese dato de entrada.
15
4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).
16
Referencias bibliográficas
17