II PROYECTO DE AUTOMATAS, GRAMATICAS Y LENGUAJES TEMA: CONVERSION DE UN AFN A AFD PROFESOR: ING.

CARLOS ALBERTO GARCIA CASTRO ENUNCIADO Este proyecto consiste en la implementacin de un programa que dado un AFN codificado en un archivo texto bajo notacin XML, muestre por pantalla tanto el AFN como el AFD equivalente aplicando el algoritmo visto en clases (Construccin de subconjuntos). En ambos casos debe identificar cada elemento que compone el Autmata: Conjunto de estados S, Conjunto de smbolos , conjunto de estados finales de aceptacin F, estado inicial s y la funcin o matriz de transicin. Codificacin del autmata en el archivo plano Los estados del AFN estarn etiquetados con nmeros enteros El alfabeto de entrada estar formado por cualquier carcter excepto el & ( tiene un significado especial ) Las transiciones, una por lnea, se codificarn de acuerdo a la secuencia n a m, donde n y m representan los estados origen y destino de la transicin, y a representa cualquier smbolo de entrada. Los 3 elementos estarn separados por una coma (,). Las transiciones vacas (aquellas que son con ), se expresarn como una transicin normal pero utilizando el smbolo &. Ejemplo 0,&,1 significa una transicin del estado 0 al 1 con . El orden en el que se muestren las transiciones y los estados de aceptacin es indiferente. A continuacin se mostrar un ejemplo de cmo estara estructurado el archivo: <AUTOMATA_AFN> <ALFABETO> a b </ALFABETO> <ESTADO> 0 1 2 3 </ESTADO> <INICIAL> 0 </INICIAL>

<FINAL> 3 </FINAL> <TRANSICIONES> 0,a,0 0,a,1 0,b,0 1,b,2 2,b,3 </TRANSICIONES> </AUTOMATA_AFN> Luego de ledo el archivo texto, se mostrar por pantalla los datos del AFN:

1. 2. 3. 4.

Estados del AFN Alfabeto del AFN Estados finales de aceptacin del AFN Tabla de transiciones del AFN

Al aplicar el algoritmo de conversin se debe mostrar igualmente por pantalla los siguientes datos: 1. Estados del AFD 2. Alfabeto del AFD 3. Estados finales de aceptacin del AFD 4. Tabla de transiciones del AFD Tambin debe generar un archivo de texto con esta informacin y bajo la notacin XML descrita con anterioridad para el AFD.

OBSERVACIONES: Los estudiantes podrn formar grupos mximo de 4 personas y elegir el lenguaje de programacin de su preferencia. Fechas de entrega y Sustentacin o Seccin X Jueves 02 de mayo o Seccin IX Viernes 03 de mayo o Seccin I Sbado 04 de mayo Cdigo fuente por e-mail carlos_garcia27@hotmail.com Se debe presentar un informe tcnico mximo de 5 hojas: Marco terico de los Autmatas Finitos Justificacin de la eleccin del Lenguaje de Programacin utilizado Objetivo de las estructuras de datos ms importantes utilizadas Funcin de cada subrutina importante utilizada Dificultades que tuvo y cmo las resolvi Grupo que copie un programa de otro tendrn ambos grupos una calificacin de 0.0