UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales - 301405
GUIA ACTIVIDADES - EJERCICIO A DESARROLLAR PARA MOMENTO 2 2016-1 PERIODO 16-1 Autómatas y lenguajes Formales_ 301405
Producto del momento dos: El producto es un documento que debe cubrir todos los puntos de la rúbrica de
evaluación 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 do s simuladores: Los gráficos y análisis 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 fórmulas, caracteres o expresiones regulares, entre otros que sean copiadas como imagen (Incluso las imágenes propias de esta guía). Se debe usar un editor de fórmulas para plasmarlas. Los gráficos deben ser generados por simuladores o si los realiza en un editor de gráficos manualmente, también son aceptados. El Visual Autómata Simulator (vas) y/o el JFLAP. Las encuentran en el entorno práctico del curso Visual Autómata Simulator. http://datateca.unad.edu.co/contenidos/301405/2015_1/SIMULADORES/VISUAL_AUTOMATA_SIM ULATOR.zip JFLAP. http://datateca.unad.edu.co/contenidos/301405/2015_1/SIMULADORES/JFLAP.zip 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_mom2_301405.rar EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVID AD ES EN EL “ENTORNO “ ENTORNO DE EVALUACION Y SEGUIMIENTO”
El archivo comprimido contendrá los siguientes elementos: UN DOCUMENTO EN PDF: que contiene: Formato de presentación del Documento: El documento debe
contener los siguientes puntos PORTADA: Datos de los Estudiantes (nombre, número de matrícula, e-mail, Zona, Cead, Grupo que
presenta la actividad). Datos del tutor. Descripción general del trabajo. Desarrollo de cada uno de los puntos enunciados a continuación.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales - 301405
No se está solicitando introducción, objetivos, bibliografía. Lo importante de esta actividad es estar concentrados en el desarrollo del ejercicio como estrategia de Problemas. Estos no son considerados como aportes ni deben ir plasmados en el trabajo. LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Si es JFLAP (los de
extensión jff) y si es con archivos de VAS (los de extensión .fa) Problemas a desarrollar:
PARTE 1: HALLAR EL AUTÓMATA MÍNIMO CORRESPONDIENTE al siguiente autómata finito.
Importante: El proc eso de min imización no se deb e hacer de forma autom ática en JFLAP po r qu e no seráválido para asig nac ión de pu nto s en la rúbric a. JFLA P lo pu ede us ar para validar o demo strar alguno s pasos o pro cesos p ero no p ara la min imización autom ática. Para la obtención de las g ramáticas, estas deben generarse de form a manu al (no con JFLA P). Puede usar JFLAP para demo strar por ejemplo c adenas aceptadas o no por las gram átic as, y p ara los árbo les d e deriv ación p ero n o p ara gen erar las gram áticas .
1. Realice la descripción (notación) (caracterización) matemática del autómata. (Antes de minimizar) 2. Plasme la tabla de transición del autómata. (No es la que generas VAS). (Antes de minimizar) 3. Identifique El Lenguaje que reconoce. (Antes de minimizar) 4. Identifique la ER y en una tabla de validación (puede ser de Excel), verifique una cadena válida y una no válida. Tenga en cuenta la jerarquía de operadores. (Antes de minimizar) 5. Identifique los estados Distinguibles y los No distinguibles 6. Identifique los estados equivalentes (para ello muestre cómo evalúa esas equivalencias, colocando a los estados candidatos de equivalencia como estados iniciales). Evidencie el proceso de cómo los evalúa. 7. En el proceso de eliminación de estados, identifique que transiciones se eliminan y cuáles se re direccionan. Muestre la tabla de estados distinguibles 8. El autómata nuevo minimizado expresarlo o graficarlos en un diagrama de moore 9. Realice la descripción (notación) (caracterización) matemática del autómata ya minimizado 10. Identifique El Lenguaje que reconoce. (autómata ya minimizado) 11. Identifique la ER del autómata ya minimizado y en una tabla de validación (puede ser de Excel), verifique una cadena válida y una no válida. Tenga en cuenta la jerarquía de operadores. (autómata ya minimizado) 12. (Autómata minimizado) Identifique su gramática (de forma manual) por la derecha y
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales - 301405
caracterícela.. Debe incluir el diagrama de estados con los componentes de la gramática asociados a las variables y a las constantes. 13. Realice la gramática por la izquierda (de forma manual) y compare si esta gramática acepta o no el mismo lenguaje (cadenas). Justifique y demuestre su respuesta 14. Con una cadena válida, genere un árbol de derivación para la gramática por la derecha y demuestre y justifique si la cadena y árbol generado puede ser ambigua o no.
PARTE 2: Diseñe un AP que desarrolle el siguiente lenguaje v acía) : exceptuando o rechazando cadenas como:
L ={0i 1 j 2i+j / i, j ≥ 1}, (con pila
Cadenas válidas.
0122 011222 00112222 0011122222 000111222222
Cadenas no válidas
012 001122 000111222 0000112222
1. Describa el autómata en notación matemática. 2. Determine si el lenguaje aceptado de este autómata con pi la se lleva a cabo por: Aceptación por estado final o por Aceptación por pila vacía. 3. Justifique y evidencie si el diseño es un APND o un APD 4. Grafíquelo en JFLAP y realice el “Traceback” para las transiciones. (Las columnas para un AP son: El estado en que se encuentra el autómata, lo que falta por leer de la palabra de entrada, y el contenido de la pila). 5. Plasme las imágenes del recorrido de ese Traceback para cada movimiento en el documento. (Se debe apoyar en JFLAP) (Documente el proceso) 6. Muestre el diagrama correspondiente de estados. 7. Determine si su diseño acepta o no la cadena vacía y explique por qué en cualquier caso, demostrando el recorrido o comportamiento de la Pila para ese evento. (evidenciándolo). 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 planificación, organización y compromiso del equipo de trabajo. Revisen los aportes para la consolidación de los trabajos en cuanto a si están 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 período establecido en la agenda del curso, obtendrá una nota de 0 en esta actividad (Té ng ase en cu ent a qu e los apo rtes realizad os do s d ías antes d el cierre d e la activid ad, no s e tendrán en c uent a). No se aceptan como aportes o insumos, enunciados o mensajes que solo digan o expresen intenciones de trabajar. El plagio tiene una calificación de 0 en la actividad. Recomendaciones
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales - 301405 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 diseñados. 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”