guia 2015 intersemestral 8-3 momento1 301405

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

INTERSEMESTRAL 8-3

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 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:


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. Dada las siguientes expresiones regulares (ER), encuentre la expresin mnima simplificada

correspondiente.

ER ER SIMPLIFICADA

ER1 (0(1)*) + 1

ER2 + 1+( + 1)( + 1)*( + 1)

ER3 0 + ( + 1)( + 1)*0

ER4 1*0 + 1*0( +0+1)*( +0+1)

ER5 ((0+1)1)

2. PARA LA EXPRESION REGULAR 4: 1*0 + 1*0( +0+1)*( +0+1) 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)

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

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

guia 2015 intersemestral 8-3 momento1 301405

Documents