ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA

AUTOMATAS Y LENGUAJES FORMALES

Cdigo 301405_3
2.013_II

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD



AUTOMATAS Y LENGUAJES FORMALES

ACTIVIDAD 6 TRABAJO COLABORATIVO 2



Presentacin

Mauricio Daz Garca

Cdula: 93.378.232
CEAD: JAG
Programa acadmico Ingeniera Electrnica
Nmero Celular: 311 522 3819
e-mail: maodgsanty@hotmail.com



TUTOR
JAIME JOS VALDS





BOGOT DC, COLOMBIA FECHA: 03/12/2013














ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
Cdigo 301405_3
2.013_II

EJERCICIOS A DESARROLLAR:
1. Calcular el autmata mnimo correspondiente al siguiente autmata finito.


ACTIVIDADES DE MINIMIZAR.
1. Enuncie el autmata en notacin matemtica

Se llama autmata No determinstico asociado a M, al autmata:
Porque el estado

usa un mismo valor para ir a otros estados, esto lo

convierte en autmata No determinstico.

2. Identifique los componentes del autmata (que tipo de tupla es)

Conjunto de identificadores smbolos de estado

Alfabeto de entrada

{q0} Estado inicial

Funcion de transicion

Conjunto de estados finales

3. Identifique la tabla de transicin correspondiente
Cada fila la corresponde a un estado q Q
El estado inicial se precede del smbolo
Cada estado final se precede del smbolo #

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
Cdigo 301405_3
2.013_II
Cada columna corresponde a un smbolo de entrada x
Se debe identificar la funcin



4. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas
vlidas que terminen en el estado halt

El lenguaje que reconoce ser el de todas las posibles cadenas que empiezan
por a, b y que terminen en a, b. bajo ciertas condiciones (propiedades) que
resultan complejas (ER), por eso es que se reduce o minimiza el autmata

5. Encuentre la expresin regular vlida.
El propsito de las ER (que no son ms que simples frmulas) es representar
cada una de ellas un lenguaje.


(aa*a(ba*a)*b+bb*aa*a(ba*a)*b)(aa*a(ba*a)*b+bb*aa*a(ba*a)*b)*


f a b

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
Cdigo 301405_3
2.013_II



6. Encuentre su gramtica que sea vlida para la funcin de transicin
(describa sus componentes y como se escriben matemticamente). Justifquela
si la convierte a la Izquierda o a la derecha. Plsmela en el simulador y
recrela. (Debe quedar documentado en el texto el paso a paso que realizan
en el simulador)

Las gramticas son mecanismos generadores de lenguajes, es decir, nos dicen
cmo podemos obtener o construir palabras de un determinado lenguaje.



Descripcin gramatica

Definimos o caracterizamos una gramtica regular como:
Un cudruplo (V, , R, S) en donde:
V = Es el alfabeto de variables
= Es el alfabeto de constantes
R = Es el conjunto de reglas, es un subconjunto finito de V x (V U )
S= Es el smbolo inicial y es un elemento de V
Estas gramticas regulares son de la forma:

Lineales por la derecha.- Cuando todas las producciones tienen la forma
A aB o bien A a
Lineales por la izquierda.- Cuando todas las producciones tienen la forma
A Ba o bien A a

(aa*a(ba*a)*b+bb*aa*a(ba*a)*b)(aa*a(ba*a)*b+bb*aa*a(ba*a)*b)*


ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
Cdigo 301405_3
2.013_II










7. Realice el rbol de Derivacin de esa gramtica
Un rbol ordenado y etiquetado es un rbol de derivacin para una gramtica libre de
contexto


ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
Cdigo 301405_3
2.013_II




8. Identifique si ese rbol o gramtica es ambigua o no y plasme las razones
de su afirmacin




ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
Cdigo 301405_3
2.013_II

No es ambigua ya que la gramtica libre de contexto tiene un solo rbol de derivacin
para una o varias cadenas.
Se trata de una gramtica univoca ya que es una gramtica libre de contexto que tiene
asociado un solo rbol de derivacin para toda cadena del lenguaje



9. Si el rbol de transicin es demasiado grande, a su criterio seleccione una
regla en la que se detenga por cualquier rama (izquierda o derecha) y
plsmelo hasta ah. (es decir seleccione una cadena vlida para este tem).

R/ la siguiente es la regla para detener el rbol por la rama derecha:




ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
Cdigo 301405_3
2.013_II











ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
Cdigo 301405_3
2.013_II



ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO:
10.Explicar el proceso de Minimizacin (que estados se suprimen y porque)

No finales Finales
Q2,q3,q4 Q1, q5

Paso 2: evaluamos el grupo de los estados no finales:
Grupo q2,q3,q4

Desde q2 con a se pasa al grupo q2, q3, q4
Desde q3 con a se pasa al grupo q2, q3, q4
Desde q4 con a se pasa al grupo q2, q3, q4

Para analizar si q2, q3, q4 pueden quedar en e mismo grupo se debe analiza que pasa con el
smbolo b

Desde q2 con a se pasa al grupo



11.Que transiciones se reemplazan o resultan equivalentes.
12.Escribir la funcin de transicin del nuevo autmata.
13.Identificar la expresin regular (explicarla en la lectura matemtica que se
le debe
hacer).
14.Compruebe una cadena vlida para esa expresin regular.
15.Identificar el lenguaje que reconoce y cinco posibles cadenas vlidas
16.Identificar su gramtica. Demustrela para una cadena vlida del autmata.
17.Compare la gramtica con el autmata antes de minimizar (ya sea por la
izquierda o
derecha).
18.El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de
Moore.
19.Identificar sus tablas de Transicin (plasmarlas)
20.Plasmar los pasos de minimizacin en el simulador (comprelos con el
proceso manual
que est explicando) y capturar los procesos en imgenes para ser
documentadas en el
texto.