You are on page 1of 13

Actividad Colaborativa Momento 1

1Trabajo Grupal

SANDRA GALLO GMEZ


Cod 52035770
YON IVAN MRQUEZ BUITRAGO.
Cod. 82391374

Tutor
ANGELA MARIA GONZALEZ

Marzo 2015.

Universidad Nacional Abierta y a Distancia UNAD


Zona Centro Cead Arbelez.
Ingeniera de Sistemas.
Autmatas y Lenguajes Formales
Grupo 33

Introduccin

Para el presente trabajo colaborativo, se debe presentar como producto un documento que debe
cubrir todos los puntos de la rbrica de evaluacin y debe ser elaborado en un procesador de
palabras (openoffice write o Microsoft Word.) para luego ser convertido a PDF (Portable data
File).. Para esta realizacin podemos apoyarnos en alguno de los dos simuladores que nos
presentan (JFLAP o VISUAL AUTOMATA SIMULATOR) Los grficos y anlisis de cada
simulador son los que se exportaran al documento de Word. Debemos entregar los archivos
generados por el simulador en una carpeta. Debemos apoyarnos en usar un editor de frmulas
para plasmarlas.

Actividad Individual
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:
LENGUAJE
L= {w | w
tiene al menos
una a y tiene
al menos una
b} sobre {a,b}

EXPRESIN REGULAR

a a b ( a+b ) +b b a ( a+b )

EJ2

L= {w | w
tiene las
palabras que
empiezan por
b y terminan
en a} sobre
{a,b}

b b a a +b b a ( b b a )

b b a ( a+b b a )

EJ3

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

AFN / AFD
EJ1

( a a b+ba a b ) ( a a b ) b ( a+b ) +bb b a ( a+b )

EJ4

El lenguaje de las
palabras que tiene
a d seguida con
varias o ninguna g
y terminan con c
o b seguida con
varias o ninguna
f y terminan con
a; por subcadena.
Sobre
{a,b,c,d,f,g}

b f a+d g c

EJ5

El lenguaje de
todas las
palabras que
contienen una
o varias ab o c
y terminan en
d.
Para {a,b,c,d}

( ab c ) d
( ab+ c ) d

2. PARA LA EXPRESION REGULAR:

( cb ) ca ( ab ) b ( ba ) b ( ab ) a ( ba ) b
SIMPLIFIQUE LA EXPRESIN REGULAR YRESUELVA:
1) Describa la forma matemtica del autmata,
( cb ) ca ( ab ) + b ( ba ) b+ ( ab ) a ( ba ) b
c b ca a b +b b a b+ a b ab a b
c b ca a +b b a b+a b ab
c

a b ( ca+bb+ab)

La forma matemtica del autmata se expresa de la siguiente forma:


M = [(q0,q1, q2, q3, q4),(a,b,c), ,q0,( q4)]
M= {an0, bm0, (c0,c,a), (b,b),(a,b)} n, m, 0}
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)

R/ Este es un autmata AFND ya que se determinan varias rutas para llegar al estado final,
en este caso se tienen 3 rutas, una por medio de q1, otra por q2 y otra por q3, seria
determinista si solo tuviese una ruta.
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.
R/ M es un quntuplo (K, , , s, F), donde:
K = {q0, q1, q2, q3, q4}, identifica el conjunto de estados del autmata
= {a, b, c, }, es el alfabeto de entrada
s es el estado inicial, en nuestro caso {q0}
F es un conjunto de estados finales, en nuestro caso {q4}
: K x K es la funcin de transicin, que a partir de un estado y un smbolo del
alfabeto obtiene un nuevo estado.
Donde la funcin : {q0, q1, q2, q3, q4} x {a, b, c, }-> {q0, q1, q2, q3, q4} viene dada
por:

Conceptos y definiciones adicionales.


4) Identifique el lenguaje que genera.
R/ . L= {w | w palabras que pueden iniciar por a, b o c; pero las palabras que inician en a o
b, solo pueden terminar en b; y las palabras que inicien en c solo pueden terminar en a y b}
sobre {a, b, c}
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)
R/ .La secuencia la mostramos en VAS, vamos a ejecutar la cadena cbca

Paso 1: Inicializa la ejecucin del autmata desde el estado q0

Salta de q0 a q1 haciendo transicin con la letra c

Salta de q1 a q3 haciendo transicin con la letra b

Salta haciendo un retorno de q3 a q1 haciendo transicin con la letra c

Finaliza el autmata haciendo transicin de q1 a q4 con la letra a


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).
R/ . Diagrama de Moore en JFLAP y en VAS
JFLAP

VAS

SIMILITUDES
El manejo es muy intuitivo
Ambos se trabajan con el java, si este no esta en el equipo no funcionan
Generan archivos de facil manejo y la simulacion d e los automatas es muy sencilla
DIFERENCIAS
Guarda bien los datos
No guarda los estados ni las transiciones, solo
conserva el grafico
Dificulta sacar la lista de transiciones ya que Puedo sacar el listado de transiciones de una
genera otras letras a los estados de los que uno forma clara
originalmente le pone
Me parece mucho mas completo para elaborar Es bastante limitado ya que no se pueden
los automatas, ya que tiene muchas opciones generar muchas d elas funciones que tiene el
en su menu
otro programa.

7) Genere tres cadenas vlidas y dos no vlidas.


R/ .

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
2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del ejercicio
propuesto).
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)
4. Muestre el diagrama de Moore generado en JFLAP y en VAS
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.
Para ello apyese en el video: http://youtu.be/JZPAHHA2PnE (minuto 14 al 33). O en el video
http://youtu.be/wGTxhnPXcw4

Conclusiones.
Aunque con dificultades, hemos entrado ene l mundo de los Autmatas, iniciando un recorrido muy
interesante en este curso, es lastimoso que no todos los compaeros participen, ya que como se
evidencia solo estamos trabajando dos de los cinco integrantes.
La comprensin de la temtica aqu desarrollada nos da herramientas para que lleguemos a ser unos
buenos profesionales, ya que esta temtica es muy importante en el campo de la programacin,
adems esta lgica aqu aprendida nos ayuda a entender como funcionan muchos de los sistemas
actuales.
La existencia de los lenguajes regulares y su vinculacin con otros artefactos lingsticosmatemticos, estudiados e incluso llevados a la prctica ha sido de vital importancia en el
desarrollo de los mecanismos de procesamiento de lenguajes de computacin

Lista de referencias

Alfonseca, M., J. Sancho, M. A. Orga, Teora de Lenguajes, Gramticas y Autmatas, Promosoft,


1997.
Cueva L., Juan Manuel, Lenguajes Gramticas y Autmatas, Segunda Edicin,
2001, Universidad de Oviedo.
Daz Vctor, Caete Jos Miguel, Lenguajes Formales y autmatas, Universidad de Sevilla, 2006
Hernndez Rodrguez , Leonardo Alonso. Practique la Teora de Autmatas Y Lenguajes Formales
Hopcroft, J.E., R. Motwani, J. D. Ullman, Introduccin a la teora de autmatas, lenguajes
y computacin (2 Edicin), Prentice-Hall, 2000. Recuperado de
https://books.google.com.co/books?
id=3_xiZG8exjAC&pg=PA74&lpg=PA74&dq=El+lenguaje+de+las+palabras+que+tiene+a+abb+o
+bba+por+subcadena&source=bl&ots=GZJgBuJF9Z&sig=kmKd8eZPbLnSD0t035Yc6_eEh4M&
hl=es419&sa=X&ved=0ahUKEwjY_9GGn5vLAhWJth4KHaycBr8Q6AEIGzAA#v=onepage&q=El
%20lenguaje%20de%20las%20palabras%20que%20tiene%20a%20abb%20o%20bba%20por
%20subcadena&f=false
Normas APA actualizadas. Recuperado de http://normasapa.com/plantilla-en-word-con-normasapa-2015/