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 2
INTERSEMESTRAL 8-3

2015

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. 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_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. Ing. (Msc). Carlos Alberto Amaya Tarazona

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: Calcular el autmata mnimo correspondiente al siguiente autmata finito.

1. Enuncie el autmata en notacin matemtica

2. Identifique la tabla de transicin correspondiente
3. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas que terminen
en un estado halt
4. Encuentre la expresin regular vlida.
5. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus
componentes y como se escriben matemticamente).
6. Genere la gramtica tanto por la izquierda como por la derecha y verifique cual es vlida
sustentando el por qu.
7. Realice el rbol de Derivacin de esa gramtica
8. Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de su afirmacin

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR Y YA MINIMIZADO:

9. Identifique los estados No distinguibles y los Distinguibles. Justifique o caracterice la
diferencia entre ellos.
10. Identifique los estados equivalentes. Para ello realice el proceso de validacin de
equivalencias identificando los estados a ser eliminados

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
11. Realice el proceso de eliminacin de estados (que estados se suprimen y porque). Realice
la eliminacin de transiciones y de estados
12. Realice la tabla de estados distinguibles.
13. Escribir la funcin de transicin del nuevo autmata.
14. Identificar la expresin regular (explicarla en la lectura matemtica que se le debe hacer).
15. Identificar el lenguaje que reconoce y cinco posibles cadenas vlidas
16. El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.
17. Identificar su tablas de Transicin

PARTE 2: Disee un AP que dentro de su lenguaje L ={ab}* ;es decir todas las combinaciones
posibles de cadenas conformadas por los smbolos (a) (b) o conjunto universal de estrellas de
kleene, (con pila vaca): exceptuando o rechazando cadenas como:
Cadenas no vlidas.
Las que estn compuestas por uno o muchos smbolos b: ejemplo: {(b) (bb) (bbb) (bbbb)
(bbbbb) (bbbbbb) (bbbbbbb) (bbbbbbbb) (bbbbbbbbb) . }
En el diseo que haga es libre determinar si acepta la cadena vaca o no.
1.
2.
3.
4.

5.
6.
7.
8.

Describa el autmata en notacin matemtica.

Determine el lenguaje que reconoce el AP.
Justifique y asocio o evidencie si el diseo es un APND o un APD
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).
Plasme las imgenes y capturas en el documento. (Documente el proceso)
Muestre el diagrama correspondiente de estados.
Identifique los contenidos (el recorrido para cada interaccin) de la pila y el estado de
parada. Realcelo con una cadena vlida.
Determine si su diseo acepta o no la cadena vaca y explique por qu e cualquier caso,
demostrando el recorrido o comportamiento de la Pila. (evidencindolo).

Consideraciones generales:
No se calificar el informe que no sea montado en el espacio indicado.

El archivo debe colgarse en el espacio dentro del foro momento cuatro, en el entorno de aprendizaje
colaborativo, llamado: Desarrollo y envo del trabajo del momento cuatro, antes de la fecha de cierre,
segn lo indicado en la agenda del curso.

El tamao del archivo no debe superar 2Mb.

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

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