ECBTI
DESARROLLO MOMENTO 1
INTRODUCCION
ACTIVIDAD
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
AFD
EJERCICIO 4
AFD
EJERCICIO 5
AFD
(ab U c)* d
Salida
q0
q0
q0
q0
q1
q1
q2
q2
q3
q4
q4
q5
q6
Simbolo
(cb)*
b
(ab)*
c
c
b
a
(ab)*
b
b
(ba)*
b
b
Llegada
q1
q4
q6
q0
q2
q1
q1
q3
q3
q4
q5
q3
q6
q6
q7
q8
q8
a
b
a
b
q7
q8
q8
q3
Tipo de autmata:
AFN: Pues que por cada transicin que tengo llega a un estado y no a varios
Similitudes:
a. La manera de graficar es la misma
b. Las relaciones son igual
c. Los estados son iguales
Diferencias:
d. JLAP tiene un simulador para las grficas de moore, Vas no
e. Es mucho ms fcil graficas las salidas en JLAP
f. Vas no exporta el autmata como imagen
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