ESCUELA DE CIENCIAS BASICAS TECNOLOGICAS E INGENIERIA

ECBTI

AUTOMATAS Y LENGUAJES FORMALES

301405_24

DESARROLLO MOMENTO 1

ISABEL CRISTINA GOMEZCODIGO: 24.336.954

VIVIANA DIAZ CODIGO
MAURICIO ANTONIO BOHORQUEZ CUARTAS CODIGO
EDWIN ORTIZ CODIGO
GLORIA ELENA CARDENAS TAMAYO CODIGO 43.722.789

VICTOR FERNANDO CANNON RODRIGUEZ

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CENTRO DE EDUCACION ABIERTA Y A DISTANCIA CEAD LA DORADA,
CALDAS

MANIZALES; 20 DE MARZO DEL 2016; CALDAS

INTRODUCCION

Un autmata es un modelo matemtico para una mquina de estado finito

(FSM siglas en ingls). Una FSM es una mquina que, dada una entrada de
smbolos, salta a travs de una serie de estados de acuerdo a una funcin de
transicin (que puede ser expresada como una tabla).
La teora de autmatas es una rama de las ciencias de la computacin que estudia
las mquinas abstractas y los problemas que stas son capaces de resolver

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

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 U dg* c)*

EJERCICIO 4
AFD

EJERCICIO 5
AFD

L= {w, comienza en q0 por b y d

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}

(ab U c)* d

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

(ab)*a(ba)*b
SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:
(cb)*ca(ab)*U b(ba)*b U (ab)*a(ba)*b
(cb)*ca(ab)*U (b(ba)) *U (ab)*a(ba)*) b
(cb)*ca(ab)* U ((b U (ab)*a) (ba)*)b
(cb)*ca(ab)* U (b U (ab)*a) (ba)* b EXPRESION SIMPLIFICADA

1. Describa la forma matemtica del autmata

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

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

3. 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
4. Identifique el lenguaje que genera.
L{w/w Se aceptan sucesin de a,b,c terminando en b}
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)
Vamos a trabajar con la cadena de caracteres b(ab)*b

Empezamos en el estado inicial 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.

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

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

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