Problemas a desarrollar:

1. Las expresiones regulares (ER), pueden tambin escribirse de otras formas o con otra secuencia de operadores o
distribucin de smbolos. En general es una forma matemtica que representa el Lenguaje que genera un Autmata. Y
esas expresiones regulares siempre sern vlidas siempre y cuando representen exactamente el mismo lenguaje para un
Autmata. Concluyendo, para un Autmata, puede haber ms de una ER que representa el mismo lenguaje ya sea que
esa ER sea minimizada, extensa, equivalente o como se prefiera escribir. Solo que en los diseos ptimos
computacionales siempre se buscar la mejor ER (corta o mnima) para efectos de la mejor simulacin o para llevarlas a
lenguajes de programacin en la creacin de soluciones computacionales (solucionar problemas - Algoritmos).
Dados los siguientes tem, Autmatas Finitos Deterministas, Autmatas Finitos no Deterministas, lenguajes y expresiones
regulares (ER), encuentre segn corresponda:
EJERCICIO

EJERCICIO 1
AFD

AFN/AFND

LENGUAJE
EXPRESION REGULAR
L= {w | w tiene al menos una a (aa*b+bb*a)(a+b)
y a y tiene al menos una b}
sobre {a,b}

(bb*a)(a+bb*a)

EJERCICIO 2

L= {w, comienza por b y tiene al

menos una a) sobre {a,b}

AFD

El lenguaje de las palabras que (aa*b+baa*b)

tiene a abb o bba por (aa*b)*b+bbb*a(a+b)*
subcadena
EJERCICIO 3
AFD

((bf*a)*dg*c)*(bf*a)*dg*
(bf*a+dg*c)*
EJERCICIO 4
AFD

EJERCICIO 5
AFD

L= {w, comienza por b o d y

termina en a y c sobre
{a,b,c,d,f,g}

L= {w, comienza por a, c o d y

termina en d, sobre {a,b,c,d}

(c+ab)*d

2. PARA LA EXPRESION REGULAR : (cb)*ca(ab)*U b(ba)*b U (ab)*a(ba)*b

-

Describa la forma matemtica del autmata

Plasme 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)

Salida
q0
q0
q0
q0
q1
q1
q2
q2
q3
q4
q4
q5
q6
q6
q7
q8
q8

Simbolo
(cb)*
b
(ab)*
c
c
b
a
(ab)*
b
b
(ba)*
b
b
a
b
a
b

Llegada
q1
q4
q6
q0
q2
q1
q1
q3
q3
q4
q5
q3
q6
q7
q8
q8
q3

Tipo de autmata:
AFN: Pues que por cada transicin que tengo llega a un estado y no a varios

Identifique 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 una 5-tupla (Q, , q0, , F)
Q: {q0, q1, q2, q3, q4, q5, q6, q7, q8}
Que es el conjunto de estado que hay dentro del autmata
: {a,b,c}
Es el alfabeto de nuestro autmata
q0: {q0}
Es el estado inicial de nuestro autmata
: (q0 + a)= q0
: (q0 + c)= q0
: (q0 + b)= q4
: (q1 + b)= q1
: (q1 + c)= q2
: (q2 + a)= q2
: (q3 + b)= q3
: (q4 + b)= q4
: (q5 + a)= q5
: (q5 + b)= q3
: (q6 + b)= q6
: (q6 + a)= q7
: (q7 + b)= q8
: (q8 + a)= q8

: (q8 + b)= q3
Son funciones de transicin
F:{q3}
Estado aceptador
-

Identifique el lenguaje que genera.

L{w/w Se aceptan sucesin de a,b,c terminando en b}

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)
Vamos a trabajar con la cadena de caracteres b(ab)*b

Empezamos en el estado incial q0, donde vamos a ingresar el primer carcter que es b.

Al ingresar b hacemos la transicin al estado q4 en el que ingresaremos (ab)* que representa que se ingresan
muchas a o muchas b

Hacemos la transicin al estado q5 donde ingresamos b y llegamos al estado aceptador.

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 ofrezca uno u otro).

Similitudes:
La manera de graficar es la misma
Las relaciones son igual
Los estados son iguales

Diferencias:
JLAP tiene un simulador para las grficas de moore, Vas no
Es mucho ms fcil graficas las salidas en JLAP
Vas no exporta el autmata como imagen

Genere tres cadenas vlidas y dos no vlidas.

Cadenas validas:
b(ba)*b
(cb)*c(ab)*b
(ab)*abb
Cadenas no validas:
b(ba)*aba
b(ba)*abc

3. 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.
-

Describa la forma matemtica del autmata

Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del ejercicio propuesto)
Es una 5-tupla (Q, , q0, , F)
Q: {q0, q1, q2, q3}
Que es el conjunto de estado que hay dentro del autmata
: {a,b,c}

Es el alfabeto de nuestro autmata

q0: {q0}
Es el estado inicial de nuestro autmata
: (q0
: (q0
: (q0
: (q1
: (q1
: (q1
: (q0
: (q0
: (q0
: (q0
: (q0
: (q0

+ b)= q0
+ c)= q0
+ a)= q1
+ a)= q1
+ b)= q1
+ c)= q2
+ a)= q2
+ c)= q2
+ b)= q3
+ a)= q2
+ c)= q2
+ b)= q3

Son funciones de transicin

F:{q3}
Estado aceptador

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) 4.
Muestre el diagrama de Moore generado en JFLAP

Comenzamos en el estado inicial donde vemos la cadena que ingresamos al principio, el primer carcter es b

Ingresamos la b y seguimos en el estado inicial, ingreso una a que es un carcter valido para pasar al siguiente
estado

Ya estamos en el estado q1 donde vamos a ingresar a

Quedamos en el mismo estado, puesto que no es un carcter que permite pasar al siguiente estado

Ingresamos c y vemos como pasamos al estado q2

Ingresamos c y vemos que seguimos en el mismo estado q2

Ingresamos b y llegamos al estado aceptador pero todava no se ha terminado la cadena, con lo que continuamos
hasta terminarla para determinar si es vlida o no

Ingresamos a y volvemos al estado q2, nos falta todava un carcter por ingresar

Ingresamos b y volvemos al estado aceptador, donde nos damos cuenta que es una cadena valida, puesto que ha
cumplido con la condicin

Muestre el diagrama de Moore generado en JFLAP y en VAS

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. Para ello apyese en el video:
http://youtu.be/JZPAHHA2PnE (minuto 14 al 33). O en el video http://youtu.be/wGTxhnPXcw4