UNIVERSIDAD DE CALDAS

FACULTAD DE INGENIERA
PROGRAMA DE INGENIERA DE SISTEMAS Y COMPUTACIN
AUTMATAS Y LENGUAJES FORMALES
SOFTWARE DE MANEJO DE AUTMATAS. PRIMER PROYECTO

24/08/2015

Requerimientos del proyecto:

Con base en el primer proyecto que est definido en el campus virtual y teniendo
en cuenta que la teora de autmatas tiene mucha relacin con operaciones sobre
conjuntos:
El proyecto que se debe construir requiere
1. El usuario debe poder crear un autmata finito en cualquiera de sus tres
representaciones y de manera intercambiable (Diagrama de transiciones,
Tabla de transiciones o representacin formal), vale anotar que no se trata
de que el programa cree por si solo el autmata, sino de que sea el usuario
quien lo cree ya sea como quntupla, como diagrama de transiciones o
como tabla de transiciones y que pueda iniciar de una manera y cambiar a
otra en cualquier momento, manteniendo lo que tiene creado. El usuario
debe poder determinar si desea crear una AFD o un AFN.
2. Reconocer una cadena, indicando si es vlida en el lenguaje del autmata o
no. Adems debe mostrar el conjunto de estados que se visitaron en el
recorrido del reconocimiento de cada smbolo de la cadena.
3. Miniminzar el AFD, aplicando cualquiera de las tcnicas, mostrando tanto el
autmata original, como su resultante minimizado, adems el autmata
minimizado, debe poderse mostrar en cualquiera de las tres
representaciones.
4. Realizar las operaciones entre dos autmatas finitos deterministas,
especficamente el complemento y la unin y la interseccin. Es necesario
que el usuario pueda elegir (o crear) los dos autmatas que desea operar y
que se muestre el autmata resultante en cualquiera de las tres
representaciones.
5. Hacer la operacin de reversa sobre un AFN. Mostrando tanto el AFN
original como su reversa, y la reversa debe poderse mostrar en cualquiera
de sus tres representaciones.
6. Hacer la operacin de convertir un AFN o un AFN- en AFD, utilizando el
algoritmo y graficando el autmata resultante. Adems el AFD resultante
debe poderse mostrar en cualquiera de sus tres representaciones

Requisitos del programa

1. Debe hacerse en C#.
2. El programa debe tener una interfaz grfica con manejo de mens.
3. Los autmatas creados deben poderse guardar en archivo y cargar desde
archivo.
4. La entrega final debe tener:
Documento de Anlisis y Diseo del programa, con una descripcin del
problema, con una descripcin de la solucin utilizada para resolver el
problema y las estructuras de datos para almacenar las tres
representaciones de un autmata.
Medio (CD o USB) con los paquetes propios, el cdigo fuente.
Entrega y sustentacin del proyecto: martes 6 de octubre de 2015. Se debe
elegir turnos de sustentacin.
El proyecto se debe hacer en parejas, pero al sustentar, el docente elije
cul de los integrantes har la sustentacin y la nota obtenida ser para
ambos integrantes.
Calificacin: Sustentacin 60%, programa 40%
Criterios de calificacin del programa:
o Realizarlo en C#
o Interfaz grfica que permita crear y operar autmatas, as como
guardarlos y cargarlos de archivo.
o Que el programa funcione completamente.
o Que se hayan definido diversas clases.
o Cumplir los requerimientos que se encuentra en la descripcin del
documento.
Prof: Jess Eduardo Arbelez - Rubn Daro Garca Guzmn