TRABAJO COLABORATIVO 3

AUTOMATAS Y LENGUAJES FORMALES

Tutor
DIEGO FERNANDO MEDINA

Presentado Por:
BEVERLYS ROMERO ZAMBRANO
COD: 49695123
CEAD VALLEDUPAR
EDITH DURAN PEREZ
COD: 49555751
CEAD LA DORADA
GRUPO: 301405_9

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS E INGENIERIA
AGOSTO DE 2014

Ejercicio 1: Disee una MT con los smbolos de la cinta x, y y que se

detenga si y solo si reconoce la cadena xyxy
1. Identifique los componentes de la Mquina de Turing (descrbala).
R/Una MT es un septuplo (K, , , , s) en donde:
K = {qo, q1, q2, q3, q4}
= {X, Y}
= {X,Y}
s = q0
T = q4
B
: (K {h} x ) K x ( U { L,R } )
2. Disela en un Diagrama de Moore
Solucin:

3. Recorra la mquina con al menos una cadena vlida.

Solucin:

4. Identifique una cadena que no sea vlida y justifquela porque.

Solucin: XXYY, es una cadena no valida porque no hay caminos existentes
para la consecucin de la misma, ya que la mquina de Turing solo reconoce la
cadena XYXY

5. Ejecute el Run Test a la cadena aceptada (mustrela en la captura

de imagen para el trabajo)
Solucin:

6. Identifique en que momento la mquina se detiene

Solucin: La mquina se detiene en el momento que llega al estado q4,
cuando ha reconocido la cadena XYXY.

EJERCICIO 2.
Tomando como referencia la aplicabilidad de las mquinas de estados, la
Teora de la Informacin trata una de las tcnicas de deteccin y
correccin de errores, por los teoremas de Trellis y Viterbi con cdigos
convolucionales para canales con ruido.
Se obtiene el siguiente dato codificado correcto: (Como se muestra en el
diagrama deTrellis),

1. Determine cul fue el dato de entrada.

Solucin: El dato de entrada fue 10100010
2. Determine los estados presentes: (represente la mquina de
estados) del cdigo convolucional para k=1 , m= 3, n=2 para
cada estado (grfico y pase para cada interaccin)

Solucin: Pase para cada interaccin

000

100

001

101

010

110

011

111

Mquina de estados

3. Determine las entradas codificadas

Solucin: Dato de entrada: 0
Dato codificado: 00
Estado presente: 00
Dato de entrada: 1
Dato codificado: 10
Estado presente: 00

Dato de entrada: 0

Dato codificado: 11
Estado presente: 01
Dato de entrada: 1
Dato codificado: 01
Estado presente: 01
Dato de entrada: 0
Dato codificado: 01
Estado presente: 10
Dato de entrada: 1
Dato codificado: 11
Estado presente: 10
Dato de entrada: 0
Dato codificado: 10
Estado presente: 11
Dato de entrada: 1
Dato codificado: 00
Estado presente: 11

4. Realice el diagrama de rbol

Solucin:

5. Realice el diagrama general de estados con los estados por los que
la ruta pasa e intervienen.
Solucin:

6. Asuma que hubo error en dos de los datos (con distancia de

haming de uno) usted elige los datos que desee.
Solucin:
Codificado 00 10 01 01 11 00 10 01
Recibido
00 10 11 11 11 00 10 01

7. Realice el diagrama de Trellis y Viterbi corrigiendo el dato (ruta

correcta). Pare ello debe mostrar la ruta correcta identificando las
distancias de haming y la seleccin dada para seguir la ruta.
Se sugiere presentar los resultados tambin en la tabla de datos y
estados.
Datos
Estado
Presente
Codificado
Recibido
Haming

1
1
1
0
0
0
0
0

0
1
1
1
0
1
0
0

1
0
1
0
1
1
1
1

0
1
0
0
1
1
1
1

0
0
1
1
1
1
1
1

0
0
0
0
0
0
0
1

1
0
0
1
0
1
0
0

0
1
0
0
1
0
1
1

En la grfica se puede observar que las dems rutas sin terminar

incrementan el valor numrico de la ruta, por lo que son
descartadas sin concluirlas, la ruta otorgada inicialmente en el
ejercicio es la ruta correcta con solo 2 de valor numrico.