Universidad Fermín Toro

Departamento de Computación
Teoría de autómatas y Lenguajes Formales

Trabajo Práctico (Valor 25%)

Diseñe e implemente un programa por medio de un autómata que

reciba como entrada otro autómata (AFD, AFND, MS), determine que
tipo de autómata es y proceda a generar el diagrama de transición de
estado asociado y el lenguaje aceptado por el mismo. En caso de que
el autómata encontrado sea AFND ya sea con Transiciones vacías o
no, el programa deberá de realizar la transformación a AFD, así como
determinar la gramática asociada y para cada modelo generado el
programa deberá construir la gramática respectiva, así como los
diagramas de transición asociado a cada caso.

Para la primera entrega los estudiantes previamente estructurados en

equipos no mayores de seis participantes. Cada grupo procederá a
seleccionar el modelo que mejor represente la situación dada y en
función de esto deberán efectuar lo siguiente. (Valor 5%)

 Un Análisis de la situación planteada donde realicen la

propuesta del modelo elegido, Objetivos de la propuesta
general y específico.
 Definición de alguna teorías relacionadas al modelo
seleccionado que justifiquen sus uso
 Diseño de la propuesta a partir del modelo elegido donde se
aprecien todas las componentes del mismo
 Lenguaje de programación bajo el cual se desarrollara la
propuesta justificando su uso
 Una estructura general acerca de los módulos que conformaran
su aplicación y una breve explicación de la misma.
 Fecha de entrega: jueves 17/02/18, mediante un informe
escrito donde se detallen todos los aspectos especificados
anteriormente.

Segunda entrega (Valor 20%) Esta segunda estrega estará sujeta a

las sugerencias realizadas por el profesor a la primera entrega y la
implementación del programa que ejecutara la solución con su
respectivo manual de usuario.