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 1 0 1 0 0 0 1 0
Estado
Presente
1
1
1
1
0
1
1
0
0
1
0
0
0
0
1
0
Codificado
0
0
1
0
0
1
0
1
1
1
0
0
1
0
0
1
Recibido
0
0
1
0
1
1
1
1
1
1
0
0
1
0
0
1
Haming 0 0 1 1 1 1 0 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.