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 2
16-1

2016-1 PERIODO

Autmatas y lenguajes Formales_ 301405

Producto del momento dos: 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. Las encuentran en el entorno prctico del curso
Visual Autmata 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 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.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales - 301405
No se est solicitando introduccin, objetivos, bibliografa. 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
extensin jff) y si es con archivos de VAS (los de extensin .fa)

Problemas a desarrollar:

PARTE 1: HALLAR EL AUTMATA MNIMO CORRESPONDIENTE al siguiente autmata finito.

Importante: El proceso de minimizacin no se debe hacer de forma automtica en JFLAP

por que no ser vlido para asignacin de puntos en la rbrica. JFLAP lo puede usar para
validar o demostrar algunos pasos o procesos pero no para la minimizacin automtica.
Para la obtencin de las gramticas, estas deben generarse de forma manual (no con
JFLAP). Puede usar JFLAP para demostrar por ejemplo cadenas aceptadas o no por las
gramticas, y para los rboles de derivacin pero no para generar las gramticas.
1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata. (Antes de
minimizar)
2. Plasme la tabla de transicin del autmata. (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 validacin (puede ser de Excel), verifique una cadena vlida y
una no vlida. Tenga en cuenta la jerarqua de operadores. (Antes de minimizar)
5. Identifique los estados Distinguibles y los No distinguibles
6. Identifique los estados equivalentes (para ello muestre cmo evala esas equivalencias,
colocando a los estados candidatos de equivalencia como estados iniciales). Evidencie el
proceso de cmo los evala.
7. En el proceso de eliminacin de estados, identifique que transiciones se eliminan y cules se re
direccionan. Muestre la tabla de estados distinguibles
8. El autmata nuevo minimizado expresarlo o graficarlos en un diagrama de moore
9. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata ya minimizado
10. Identifique El Lenguaje que reconoce. (autmata ya minimizado)
11. Identifique la ER del autmata ya minimizado y en una tabla de validacin (puede ser de Excel),
verifique una cadena vlida y una no vlida. Tenga en cuenta la jerarqua de operadores.
(autmata ya minimizado)
12. (Autmata minimizado) Identifique su gramtica
(de forma manual) por la derecha y

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas y lenguajes Formales - 301405
caractercela.. Debe incluir el diagrama de estados con los componentes de la gramtica
asociados a las variables y a las constantes.
13. Realice la gramtica por la izquierda (de forma manual) y compare si esta gramtica acepta o no
el mismo lenguaje (cadenas). Justifique y demuestre su respuesta
14. Con una cadena vlida, genere un rbol de derivacin para la gramtica por la derecha y
demuestre y justifique si la cadena y rbol generado puede ser ambigua o no.

PARTE 2:
Disee un AP que desarrolle el siguiente lenguaje
vaca): exceptuando o rechazando cadenas como:

L ={0i 1j 2i+j / i, j 1}, (con pila

Cadenas vlidas.

0122
011222
00112222
0011122222
000111222222

Cadenas no vlidas

012
001122
000111222
0000112222

1. Describa el autmata en notacin matemtica.

2. Determine si el lenguaje aceptado de este autmata con pila se lleva a cabo por: Aceptacin
por estado final o por Aceptacin por pila vaca.
3. Justifique y evidencie si el diseo es un APND o un APD
4. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las columnas para un
AP son: El estado en que se encuentra el autmata, lo que falta por leer de la palabra de
entrada, y el contenido de la pila).
5. Plasme las imgenes 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 diseo acepta o no la cadena vaca y explique por qu en cualquier caso,
demostrando el recorrido o comportamiento de la Pila para ese evento. (evidencindolo).
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.
Recomendaciones

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
Curso: Autmatas 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
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