UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera

Curso: Autmatas y lenguajes Formales.
301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
GUIA ACTIVIDADES - EJERCICIO A DESARROLLAR PARA MOMENTO 1

2015-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) se deben realizar o
recrear 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 AULA (Ver 4 2014 -2) 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://www.cs.duke.edu/csed/jflap/
DOCUMENTO A ENTREGAR: Se debe entregar un archive 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

El archivo comprimido contendr los siguientes elementos:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales.
301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
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:
extensin jff) y si es con archivos de VAS (los de extensin .fa)

Si es JFLAP (los de

Problemas a desarrollar:

Dado el siguiente Autmata M Finito : M =(K, , q0, , F) donde:

K = {q0, q1, q2, q3, q4, }

= {a,b,c} q 0 Es el estado Inicial F = q3, q4,

donde la funcin de transicin est dada por: : {q0, q1, q2, q3, q4 } {a,b,c} {q0, q1, q2,
q3, q4 } q0 { q3 , q4, }

(q0, a ) = q1
(q2 , a ) = q4
(q4, b ) = q2

(q0, ) = q2
(q3, a ) = q1

(q1, b ) = q3
(q3, c ) = q2

1. 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)
2. 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.
3. Identifique el lenguaje que genera.
4. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada
secuencia. (No se trata solo de captura las imgenes, estas deben ser ex0plicaas en pi
de pgina o de lo contrario no tienen validez)
5. 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).
6. Encuentre la expresin regular(ER)de forma que la asocie y la halle con el procedimiento
de convertir un AF a ER, Debe quedar plasmado el procedimiento indicando y asociando
los componentes de la ER al autmatas (diagrama de moore)
7. Genere tres cadenas vlidas y dos no vlidas
8. Plasme las tres cadenas vlidas para cada ER en una tabla (identificando jerarqua de
operadores regulares, identificando colores). Para ello apyese en el video:
http://youtu.be/JZPAHHA2PnE (minuto 14 al 33). O en el video http://youtu.be/wGTxhnPXcw4
9. Identifique en la misma tabla por que las dos cadenas seleccionadas no se aceptan o en
qu parte se trunca la jerarqua y orden de los operadores.
10.Proponga un diseo de un autmata (solo en diagrama de moore) que reconozca el
mismo lenguaje que el autmata de este ejercicio y que tenga como caractersticas que
sea un AFD y tenga un solo estado final.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales.
301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
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.

Lo importante no es el tiempo, lo importante es lo que se hace con l