TRABAJO COLABORATIVO No.

PRESENTADO POR:
HEL MANUEL PALACIO PEZ_COD_88.286.420
ANDREA PAOLA LLAN_COD_1.091.662.353
NAZLY VIVIANA ILLERA ALVAREZ_COD_1.091.665.490

GRUPO_301405_34

TUTORA:
ANGELA MARA GONZLEZ

ESCUELA DE CIENCIAS BSICAS TECNOLOGIS E INGENIERA-ECBTI.

AUTMATAS Y LENGUAJES FORMALES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

19 DE MARZO DE 2016

PUNTO No. 1

EJ1
AFN/AFD

LENGUAJE

EXPRESIN REGULAR

L= {w | w tiene al menos una a

y a y tiene al menos una b}
sobre {a,b}

ER = aa*ba*+b(ab)*aa*

EJ1

EJ2
L={wlw comienza por b y
termina en a} sobre = {a,b}

ER = b((b*)a(a*)b)*

EJ3
El lenguaje de las palabras que
tiene a abb o bba por
subcadena

ER = aba*ba*+bb*b(a+b)*aa*

EJ4
L= {w | w comienza por b
d y termina en a c} sobre
= {a,b,c,d}

ER = (bf*aU dg*c)*

EJ5
L= {w | w comienza por a c
d y termina en d} sobre
= {a,b,c,d}

ER = (ab U c)* d

PUNTO No. 2

- para la expresin regular:

(cb)*ca(ab)*U b(ba)*b U (ab)*a(ba)*b

-

Simplificar la expresin regular anterior y resolver:

- Expresin anterior simplificada:

[(cb)*ca+[bb+ab]](ab)*
-

Autmata segn expresin regular simplificada:

1. Describir la forma matemtica del autmata

[(cb)*ca+[bb+ab]](ab)*
L= {[(c)^n.(b) ^m.(c).(a)+[(b).(b)+(a).(b)]].(a) ^n.(b) ^m n, m,
o 0}
2. Plasmar en la tabla de transicin. Identifique que tipo de autmata es (AFD o
AFND) y justifique su respuesta. (No se trata de dar el concepto de determinismo
sino de justificarlo asociando la respuesta al diseo del autmata).
Tabla de transiciones
a

es la relacin de transiciones, que a partir de un estado y un smbolo del alfabeto obtiene

un nuevo estado.

Tabla de transiciones segn VAS

El autmata es AFD porque se est determinando la ruta por donde pueden pasar las
cadenas aceptadas por el autmata

3. Identificar los elementos (tupla que es) (Asociadas con los elementos del autmata
del ejercicio propuesto). Debe explicar y describir cada elemento y la funcin y
significado en el autmata. Conceptos y definiciones adicionales.

Es un autmata de estados finitos M, identificada como una quntupla que contiene los
siguientes elementos

. Una tupla es una lista ordenada de elementos

Formalmente, el autmata es una mquina de estados finitos, cuya composicin est

determinada por una 5-tupla (Q, , , s, F) dnde:

A = es un conjunto finito de estados, en nuestro autmata Q seria:

es un alfabeto finito de smbolos de entrada no vacio, en nuestro autmata, seria:

Es el estado inicial en Q, en nuestro autmata seria:

= Es la relacin de transiciones, que a partir de un estado y un smbolo del alfabeto

obtiene un nuevo estado.
F es el conjunto de estados finales o de aceptacin y subconjunto de Q (evidentemente).

4. Identificar el lenguaje que genera.

L=[(cb)*ca+[bb+ab]](ab)*
= [L(c*)L(b*)*L(c)L(a)U[L(b)L(b)UL(a)L(b)]](L(a*)L(b*))*
= [L(c)*L(b)*L(c)L(a)U[L(b)L(b)UL(a)L(b)]](L(a)*L(b)*
= [{c}*.{b}*.{c}.{a}U[{b}{b}U}a}{b}]]{a}*{b}*
= [{c}^n.{b}^m.{c}.{a}U[{b}{b}U}a}{b}]]{a}^n{b}^mln,m>=0

5. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique

cada secuencia. (No se trata solo de captura las imgenes, estas deben ser explicadas
en pi de pgina o de lo contrario no tienen validez)

Cadena Valida: cbcca

El primer paso es colocarnos en q0 que es el estado inicial y con c pasamos al estado q1.

Luego pasamos del estado q1 al estado inicial q0 por medio de la transicin b

Ahora pasamos del estado inicial q0 al estado q1 por medio de la transicin c

Luego pasamos del estado q1 al estado q2 por medio de la transicin c

Para finalizar, pasamos del estado q2 al estado final q3 por medio de la transicin a

Cadena vlida (cbcca) segn simulador JFLAP.

6. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres

similitudes y tres diferencias que encuentra al realizarlo en los dos simuladores.
(herramientas que ofrezcan uno u otro).

JFLAP

VAS

Similitud:
-

Ambos simuladores permiten analizar las cadenas

Permiten la conversin de AFD a AFND
Permiten exportar a imagen

Diferencias:

VAS permite la observacin de los caminos, algo que JFLAP no permite

JFLAP permite insertar varias cadenas
VAS permite visualizar la tabla de transicin

7. Genere tres cadenas vlidas y dos no vlidas

En la imagen se evidencia que las tres primeras cadenas son vlidas y las dems son no validas o
rechazadas.

PUNTO No. 2

Si el autmata inicial (el de la ER4) es un AFD, genere un AFND que reconozca el

mismo lenguaje; o por lo contrario si el autmata inicial es un AFND, genere un
AFD que reconozca el mismo lenguaje.

Ejercicio 4 del punto No. 1

El autmata mostrado en el ejercicio 4 del punto No. 1, es un Autmata Finito

Determinstico (AFD), con expresin regular ER = (bf*aU dg*c)*. Este autmata debe
ser cambiado a un Autmata Finito No Determinstico (AFND).

Con la conversin hecha al Autmata Finito Determinstico (AFD) anterior, a un

Autmata Finito No Determinstico (AFND), queda el siguiente autmata, con la
expresin regular: ER = (ba)*bf* + (dc)*dg*

El autmata anterior es un AFD (autmata finito determinstico) porque se sabe

exactamente cul es el siguiente estado y adems porque tambin existe una sola
transicin para ir al otro estado.

Aqu se genera el AFND (Autmata Finito No Determinstico):

AFND

1. Describa la forma matemtica del autmata

ER = (ba)*bf* + (dc)*dg*
L= {((b).(a))^n.(b).(f) ^m.+((d).(c)) ))^n .((d).(g)) ^n n, m, o
0}

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata
del ejercicio propuesto).

Es un autmata de estados finitos M, identificada como una quntupla que contiene los siguientes
elementos

Formalmente, el autmata es una mquina de estados finitos, cuya composicin est

determinada por una 5-tupla (Q, , , s, F) dnde:

A = es un conjunto finito de estados, en nuestro autmata Q seria:

es un alfabeto finito de smbolos de entrada no vacio, en nuestro autmata, seria:

Es el estado inicial en Q, en nuestro autmata seria:

= Es la relacin de transiciones, que a partir de un estado y un smbolo del alfabeto

obtiene un nuevo estado.

F es el conjunto de estados finales o de aceptacin y subconjunto de Q (evidentemente).

3. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique

cada secuencia. (No se trata solo de captura las imgenes, estas deben ser explicadas
en pi de pgina o de lo contrario no tienen validez)

Cadena vlida: babf

-

El primer paso es colocarnos en q0 que es el estado inicial.

Luego con la transicin b pasamos a q1 y q2 a la vez.

Con la transicin a se pasa del estado q1 al estado q0 y q2 permanece quieto

Con la transicin b, volvemos a los estados q1 y q2

Con la transicin f, no cambia nada en los estados q1 y q2

Muestra cadenas aceptadas y rechazadas.

4. Muestre el diagrama de Moore generado en JFLAP y en VAS

4.1. Diagrama de Moore generado en JFLAP

4.2. Diagrama de Moore generado en VAS

La descarga hecha a travs de los links que da la universidad no funciona, El

portable que da la universidad no me abre, parece que es para MACs

5. Identifique la ER asociada al nuevo diseo y comprela con la expresin regular

simplificada (es decir analcelas con dos cadenas vlidas y con dos no vlidas). Para
ello debe identificar en una tabla la jerarqua de operadores regulares, identificando
con colores las sentencias matemticas.
-

ER = (ba)*bf* + (dc)*dg* a comparar con la expresin simplificada

Este punto definitivamente no alcance.

44_mom1_301405.pdf