AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO 3

ADELAIDA M. MAESTRE OATE- CC 1065640618. Cead- Valledupar

CARLOS GEOVANY MORAN- Cead- Ibagu
LORENA MARGARITA RAMREZ- CC 1065578464. Cead- Valledupar
VCTOR A. VSQUEZ PLATA- CC 1065610860. Cead- Valledupar

GRUPO: 301405_76
TUTOR: JAIME JOS VALDS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
VALLEDUPAR- CESAR
2014

Autmatas y Lenguajes Formales

TRABAJO COLABORATIVO 3

EJERCICIO 1: Disee una MT que reconozca el lenguaje de cadenas Mquina

que acepta el lenguaje de palabras sobre {a,b} que: {anbn| n 1}

1. Identifique los componentes de la Mquina de Turing (descrbala).

2. Disela en un Diagrama de Moore
3. Recorra la mquina con al menos una cadena vlida.
4. Identifique una cadena que no sea vlida y justifquela porque.
5. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de imagen
para el trabajo)
6. Identifique en que momento la mquina se detiene

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 sguete dato codificado: (Como se muestra en la tabla), con errores
en el par de bits codificados 2,5 y 7 con distancia de haming 1.

Autmatas y Lenguajes Formales

1. Determine cul fue el dato de entrada.

2. Determine los estados presentes: (represente la mquina de estados) del
cdigo convolucional para k=1 , m= 3, n=2 para cada estado
3. Determine las entradas codificadas:
4. Realice el diagraman de rbol
5. Realice el diagrama general de estados
6. Realice el diagrama de Trellis con la ruta correcta.
7. Realice el diagrama de Treslis 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.

SOLUCION

EJERCICIO 1: DISEE UNA MT QUE RECONOZCA EL LENGUAJE DE

CADENAS MQUINA QUE ACEPTA EL LENGUAJE DE PALABRAS SOBRE
{A,B} QUE: {ANBN| N 1}

1. Identifique los componentes de la Mquina de Turing (descrbala).

Una Mquina de Turing, est compuesta por los siguientes elementos:
- Una cinta infinita, dividida en celdas con la capacidad de almacenar en cada una
de ellas smbolos de un alfabeto.
- Un cabezal de lectura y escritura, con la propiedad de poder leer o escribir sobre
la celda que se encuentra y de desplazarse a la derecha, izquierda o no
desplazarse.
- Una unidad de control que indicar al cabezal lo que debe realizar

MODELIZACIN MATEMTICA DE ACUERDO A LA TEORA DE CONJUNTOS

Se define como quntuplo MT=

Autmatas y Lenguajes Formales

 Q es un conjunto finito de estados.

es un conjunto finito de smbolos distinto del espacio en blanco, denominado
alfabeto de mquina o de entrada.

es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta.

s Q es el estado inicial.
b es un smbolo denominado blanco, y es el nico smbolo que se puede
repetir un nmero infinito de veces.
FQ es el conjunto de estados finales de aceptacin.
:Q x Q x x{L,R} es una funcin parcial denominada funcin de transicin,
donde L es un movimiento a la izquierda y R es el movimiento a la derecha.
El smbolo S como smbolo de "no movimiento" en un paso de cmputo.

2. Disela en un Diagrama de Moore.

De acuerdo al lenguaje de palabras :{a,b} que: {anbn| n 1}

Autmatas y Lenguajes Formales

3. Recorra

la

mquina

CADENAS
aaabbb
aaaabbbb
aaaaabbbbb

con

al

menos

una

cadena

RESULTADO
Aceptada
Aceptada
Aceptada

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

Autmatas y Lenguajes Formales

vlida.

CADENAS
A
Aab
aabbb
aabbbb
abbbbbbbbbb

RESULTADO
No Aceptada
No Aceptada
No Aceptada
No Aceptada
No Aceptada

No cumple con lo propuesto en el valor de la cadena.

5. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de

imagen para el trabajo) .

Autmatas y Lenguajes Formales

La funcin
se define as:
(q0,a) = (q1, X, D)
(q1,a) = (q1, a, D)
(q1,X) = (q1, X, D)
(q1,b) = (q2, Y, I)
(q2,Y) = (q2, Y, I)
(q2,a) = (q2, a, I)
(q2,X) = (q0, X, D)
(q0,Y) = (q3, Y, D)
(q3,Y) = (q3, Y, D)
(q3,B) = (q4, B, D)
q0 aabb

Xq1bb Xaq1bb Xq2aYb

q2XoYb Xq0aYb XXq1Yb
XXYq1b XXq2YY Xq2XYY
XXq0YY XXYq3Y
XXYYq3B XXYYBq4B

En el simulador JFLAP la R (Right) es igual a simular D (derecha) y la L

(Left) es igual a
simular I (izquierda)

Autmatas y Lenguajes Formales

La MT para por que qued en un estado de aceptacin y la cadena es

reconocida.

6. Identifique en que momento la mquina se detiene.

La mquina para porque qued en un estado de aceptacin T={q4} y la
cadena {aabb} es reconocida dado que la cinta de la MT termin con
{XXYY}, y no hubo ambigedad en la lectura de la cadena.

Autmatas y Lenguajes Formales

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 sguete dato codificado: (Como se muestra en la tabla), con errores
en el par de bits codificados 2,5 y 7 con distancia de haming 1.

DATOS
ESTADO
PRESENTE
CODIFICADO
RECIBIDO

0
10
10
10

Autmatas y Lenguajes Formales

0
00
00
10

1
01
01
11

1
00
00
00

1
10
10
10

1
01
01
01

1
01
01
11

1
01
01
01

0
1
DATOS DE ENTRADA.

DIAGRAMA DE VITERBI.

00
01

01
00

01

01

10

00

10

01
10

10

01
00

00

11
10
01

01

Autmatas y Lenguajes Formales

01