UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

Curso: Autmatas y lenguajes Formales - 301405
GUIA ACTIVIDADES - EJERCICIO A DESARROLLAR PARA MOMENTO 1
2016 PERIODO 16 - 1
Autmatas y Lenguajes Formales_ 301405
Producto del momento uno: El producto es 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).
NOTA IMPORTANTE. Para los ejercicios propuestos de esta actividad, (que son dos) puede apoyarse o
recrearlos en alguno de los dos simuladores: Los grficos y anlisis de cada simulador son los que se
exportaran al documento de Word. Debe entregar los archivos generados por el simulador en una
carpeta.
Tenga en cuenta que no se aceptan frmulas, caracteres o expresiones regulares, entre otros que sean
copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas
para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor de
grficos manualmente, tambin son aceptados.
El Visual Autmata Simulator (vas) y/o el JFLAP. En las siguientes direcciones de Internet podrn
descargar las mencionadas herramientas: O EN EL MODULO DEL EN LA PAGINA 155 ENCUENTRAN
TODA LA LISTA DE HERRAMIENTAS Y LAS URLS DE DESCARGA.
Visual Autmata Simulator. http://www.cs.usfca.edu/~jbovet/vas.html
JFLAP. http://datateca.unad.edu.co/contenidos/301405/2015_1/SIMULADORES/JFLAP.zip

DOCUMENTO A ENTREGAR: Se debe entregar un archivo comprimido (.rar) que contenga el siguiente
nombre: Como ejemplo, si el grupo es el 44, entonces el archivo a enviar es: 44_mom1_301405.rar
EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVIDAD ES EN EL ENTORNO
DE EVALUACION Y SEGUIMIENTO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales - 301405

El archivo comprimido contendr los siguientes elementos:

UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe
contener los siguientes puntos
PORTADA: Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo que
presenta la actividad). Datos del tutor. Descripcin general del trabajo. Desarrollo de cada uno de los
puntos enunciados a continuacin.
LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Si es JFLAP (los de
extensin jff) y si es con archivos de VAS (los de extensin .fa)
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:
AFN / AFD
EJ1

LENGUAJE
L= {w | w tiene al menos una a y a y
tiene al menos una b} sobre {a,b}

EXPRESIN REGULAR

EJ2

EJ3

El lenguaje de las palabras que tiene a

abb o bba por subcadena

EJ4

EJ5

(ab U c)* d

2.

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

PARA LA EXPRESION REGULAR :

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales - 301405

SIMPLIFIQUE LA EXPRESIN REGULAR Y RESUELVA:

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)
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.
4. Identifique el lenguaje que genera.
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)
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).
7. Genere tres cadenas vlidas y dos no vlidas.
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
Consideraciones generales:
No se calificar el informe que no sea montado en el espacio indicado.
Recuerde que el Foro es el espacio adecuado para construir y desarrollar el trabajo de forma colaborativa, la
clave es la planificacin, organizacin y compromiso del equipo de trabajo. Revisen los aportes para la
consolidacin de los trabajos en cuanto a si estn correctos y caracterizados de acuerdo a lo solicitado. Puede
solicitar revisiones previas de su avance de trabajo o aportes antes de consolidar, formulando sus inquietudes
en el espacio de dudas e inquietudes
El estudiante que no participe en el foro de trabajo colaborativo durante el perodo establecido en la agenda del
curso, obtendr una nota de 0 en esta actividad (Tngase en cuenta que los aportes realizados dos das
antes del cierre de la actividad, no se tendrn en cuenta). No se aceptan como aportes o insumos,
enunciados o mensajes que solo digan o expresen intenciones de trabajar.
El plagio tiene una calificacin de 0 en la actividad.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales - 301405
Recomendaciones
Leer cuidadosamente las indicaciones registradas en los foros (noticias del curso, foro general, foro del
trabajo colaborativo), por parte del director(a), para el adecuado desarrollo de los diferentes momentos
diseados.
Consultar con su tutor(a), cada vez que lo requiera, para aclarar dudas e inquietudes que se presenten
en el proceso.
Avanzar con el desarrollo de las actividades solicitadas en cada uno de los momentos de acuerdo a las
fechas registradas en la agenda.