Está en la página 1de 27

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

AUTOMATAS Y LENGUAJES FORMALES

“LENGUAJE ESTRUCTURADO POR FRASE”

TRABAJO GRUPAL

Presentado por:
WILLIAM ORTIZ ROMERO
JOSE MUÑOZ
CLEMENCIA ALVARADO

Presentado a:
ROLANDO FABIAN JUNCO
Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


UNAD

2019
INTRODUCCION

El presente trabajo se desarrolla en base a la temática estudiado de la unidad 3


del Módulo de Autómatas y Lenguajes Formales denominado “Lenguaje
estructurado por frase” a través del desarrollo de ejercicios relacionados con la
máquina de Turing, Moore y Mealy entre otros.

Y también es de suma importancia entender que estas máquinas son aplicado


para la solución de problemas mediante algoritmos en diferentes áreas del
conocimiento, tal como en ciencia de la computación, donde la aplicabilidad de
estas, es indispensable para solución de problemas, siempre cuando tiene una
soluciona algorítmica, es decir, puede ser descrito mediante secuencia finita de
pasos bien definidos.
OBJETIVOS

 Lograr el aprendizaje de conocimiento y funcionamiento de autómatas


finitos.
 Desarrollar actitudes en el manejo de ejercicio y prácticas para poder
desarrollar autómatas.
 Analizar el funcionamiento de autómatas finitos por medio de uso de
recursos o simuladores facilitando el aprendizaje y compresión de
autómatas.
Actividad 2:
Teniendo en cuenta la siguiente tabla de transición de una máquina de Mealy,
realice:

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


2. Diséñela en diagrama (Máquina de Mealy).
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. Realice la conversión paso a paso de máquina de Mealy a máquina de Moore
5. Explique cinco características de la Máquina de Mealy y encuentre cinco
diferencias con las Máquinas de Moore.

DESARROLLO

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

Identificando los componentes que constituye el autómata se puede afirmar


los siguientes:
 Se puede observar dos tablas, donde la primera tabla (f) hace
referencia a la entra de elementos y la segunda tabla (g) hace
referencia a la salida de elementos.
 Identificamos que esta autómata tiene cuatros estados posibles que
son q0, q1, q2, q3.
 La gramática de la autómata es 0, 1.
 Con la entrada de un elemento produce una transición de un estado
a otro.
 Salida del autómata es 0,1

2. Diséñela en diagrama (Máquina de Mealy).

Una vez caracterizado el autómata se realiza el diagrama de Mealy,


teniendo en cuenta los parámetros de la máquina mencionado
anteriormente. (1).

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.
La siguiente es para evaluar la cadena: “100110”

Mediante la siguiente cinta se tiene la cadena a leer por la máquina y el cabezal se


posiciona en el primer elemento, es decir, 1:

CINTA DE LECTURA

Paso 1: Estando en el estado q0 la maquina lee un símbolo 1 y produce como


salida un 0 y se queda en el mismo estado q0.

Por la tanto, en la cinta de salida ingresa un símbolo 0

CINTA DE SALIDA

Paso 2: Recibe un símbolo 0 se mueve al siguiente estado q1 y produce una


salida un 1.

CINTA DE LECTURA
Ingresa un 1 a la cinta de salida.

CINTA DE SALIDA

0 1

Paso 3: Estando en estado q1 recibe como entrada un 0 y se mueve al otro estado


a q3 y produce una salida un 0.

CINTA DE LECTURA
Ingresa un 0 a la cinta.

CINTA DE SALIDA

0 1 0

Paso 4: Lee un símbolo 1 regresa al estado q1 y produce una salida un 1.

Ingresa un 1 a la cinta de salida.

CINTA DE SALIDA

0 1 0 1

Paso5: estando en q1 recibe un 1 pasa al otro estado q0 y produce un 1 en la


cinta de salida.

CINTA DE LECTURA
Ingresa un 1 a la cinta de salida.

CINTA DE SALIDA

0 1 0 1 1

Paso6: Estando en q0 entra un símbolo 0 se mueve al siguiente estado a q1 como


salida produce un 1.
Finalmente a la cinta ingresa un 1.

CINTA DE SALIDA

0 1 0 1 1 1

De esta manera termina la evaluación de la cadena y es aceptada por el


autómata.

4. Realice la conversión paso a paso de máquina de Mealy a máquina de


Moore
Para realizar la conversión de máquina de Mealy a máquina de Moore, se realiza
el siguiente proceso. Y teniendo como base las siguientes tablas.
Paso 1: Se realiza una tabla consolidada de las tablas anteriores para mejor
análisis e interpretación, como muestra a continuación.

TABLA DE MEALY

0 1
ESTADO SALIDA ESTADO SALIDA
Q0 Q1 1 Q0 0
Q1 Q3 0 Q0 1
Q2 Q1 1 Q2 1
Q3 Q2 0 Q1 1

Paso2: Una vez terminado la tabla anterior y su respectivo análisis de transición,


se procede a pasar a crear nuevamente una tabla con posible estado
(combinación) de la máquina de Moore.

POSIBLES
ESTADOS
q0
q11
q00
q30
q01
q21
q20

La tabla anterior se observa los posibles estados que se puede generar de la tabla
anterior, para luego pasarlo a la tabla de Moore.
Paso3. Realizar la tabla de estado de Moore.

TABLA DE MOORE

0 1
ESTADO SALIDA ESTADO SALIDA
q0 q11 1 q00 0
q00 q11 1 q00 0
q01 q11 1 q00 0
q11 q30 0 q01 1
q20 q11 1 q21 1
q21 q11 1 q21 1
q30 q20 0 q11 1

Paso 4. De la tabla anterior se crea tabla de transición y de salida.

FUNCION TRACISION
T 0 1
q0 q11 q00
q00 q11 q00
q01 q11 q00
q11 q30 q01
q20 q11 q21
q21 q11 q21
q30 q20 q11

FUNCION SALIDA
T 0 1
q0 1 0
q00 1 0
q01 1 0
q11 0 1
q20 1 1
q21 1 1
q30 0 1
Paso5: De las tablas anteriores muestra cada una de las transiciones de estado y
el valor de entrada y salida en la máquina de Moore.

Paso 6: Se crea el diagrama de Moore de acuerdo a la información de la tabla


anterior y verificar su equivalencia entre MAQUINA DE MOORE Y MAQUINA DE
MEALY.

0 1
ESTADO SALIDA ESTADO SALIDA
q0 q11 1 q00 0
q00 q11 1 q00 0
q01 q11 1 q00 0
q11 q30 0 q01 1
q20 q11 1 q21 1
q21 q11 1 q21 1
q30 q20 0 q11 1

La máquina de Moore tendrá siete estados, como se muestra a continuación. Se


utiliza el JFLAP para su diseño y evaluación de una cadena para determinar su
equivalencia entre las maquinas.
Paso 7: Se verifica la equivalencia entre MAQUINA DE MEALY y MAQUINA DE
MOORE.

Cadena a evaluar: “1110010”


Máquina de Moore. (Imagen 1)
Máquina de Mealy. (Imagen 2)

De acuerdo al resultado de las dos máquinas se puede observar que la salida es


equivalente a 0001010 en ambas maquinas.

5. Explique cinco características de la máquina de Mealy y encuentre cinco


diferencias con la máquina de Moore.

 La máquina de Mealy y Moore son equivalentes.


 Es una máquina de estados finita.
 Las máquinas de Mealy suministran un modelo matemático rudimentario
para las máquinas de cifrado.
 Las salidas están determinadas por el estado actual y la entrada.
 En el diagrama de estados se incluye una señal de salida para cada arista
de transición.
Diferencias Maquina de Mealy – Maquina Moore.

MAQUINA MEALY MAQUINA MOORE


 La salida depende del estado  La salida es depende del estado
actual y también de las entradas. presente.
 Por lo general tiene menos  Presenta mayor números de
números de estados. estados.
 Para probar un circuito, primero  Para probar un circuito, se da el
se realiza el cambio en la pulso de reloj y después se hace
entrada X y se da el pulso de el cambio en la entrada X.
reloj.  Las salidas se encuentran dentro
 Las salidas se encuentra en del estado.
aristas.
Actividad 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.
Teniendo en cuenta que el dato de entrada es: 11110101
1. Realice el diagrama de árbol. (Complete la tabla)
2. Realice el diagrama de estados para ese dato de entrada.
3. Identifique en el diagrama de Trellis la ruta correcta (identificando salidas
codificadas).
4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

DESARROLLO

1. Realice el diagrama de árbol. (Complete la tabla)


TABLA DE DATOS, ESTADOS Y DATOS CODIFICADOS
Bit (Posición dada en el orden que entran, asociado a K)

Para la completar la tabla es necesario utilizar el código convolucional que consta de tres
parámetros. (n, k, m).
Dónde:

M= Memoria del código


K=Numero de Bits de la palabra de datos
N=Numero de Bits de la palabra codificada.
Calculo del primer bit 1

Calculo del segundo bits 2

Calculo del segundo bits 3

Calculo del segundo bits 4


Calculo del segundo bits 5

Calculo del segundo bits 6


Calculo del segundo bits 7

Calculo del segundo bits 8


8 7 6 5 4 3 2 1
DATOS 1 1 1 1 0 1 0 1
DATOS PRESENTE 11 11 11 10 01 10 01 10
CODIFICADO 01 01 10 00 01 00 01 11
RECIBIDO 11 01 10 10 01 00 11 11

Asumiendo errores en los datos recibidos en bit codificado 2, 5,8

DIAGRAMA DE ARBOL
2. Realice el diagrama de estados para ese dato de entrada.
Posibles estados: Los posibles estado 01,10,11 conformado el estado presente en
la tabla de datos.

A continuacion se realiza el realiza el diagrama de estado.


3. Identifique en el diagrama de Trellis la ruta correcta (identificando salidas
codificadas).
1 0 1 0 1 1 1 1
11 01 00 01 00 10 01 01

10

01

11

0
1

8 7 6 5 4 3 2 1
DATOS 1 1 1 1 0 1 0 1
DATOS PRESENTE 11 11 11 10 01 10 01 10
CODIFICADO 01 01 10 00 01 00 01 11
RECIBIDO 11 01 10 10 01 00 11 11

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

El diagrama de viterbi busca interpretar y analizar la mejor ruta posible


reconstruyéndola
1 0 1 0 1 1 1 1
11 01 00 01 00 10 01 01

10 00

11 00
01

01 01
11
1
10 01 01
0
1

1 0 1 0 1 1 1 1
11 01 00 01 00 10 01 01

10 00

11 00
01

01 01
11
1
10 01 01

0
1

Código de transición

11 01 00 01 00 10 01 01

Código recibido 3 errores

11 01 10 10 01 00 11 11
CONCLUSIONES

 La decodificación optima de secuencias generadas por los


codificadores convolucionales necesitan un conste computacional
muy alto.
 El algoritmo de Viterbi implementa la codificación optima sin
necesidad de buscar una búsqueda exhaustiva
 Se basa en un sencillo cálculo de distancias
 Necesita gran capacidad de almacenamiento
REFERENCIAS BIBLIOGRAFICAS

[Prof. Moreno]. (2011, Enero 20). Máquina estado finito con salida (máquina de

Mealy) [Archivo de video]. Recuperado de

https://www.youtube.com/watch?v=u3j4Qy5nNo4

Neusa, R. (2016, Mayo 19). Pasar Una Maquina de Mealy a Moore (Paso a Paso)

[Archivo de video]. Recuperado de https://www.youtube.com/watch?v=3hgHg-

SWWMY