UNIVERSIDAD PEDAGÓGICA Y TECNOLÓGICA DE COLOMBIA

FACULTAD DE INGENIERÍA
INGENIERÍA DE SISTEMAS Y COMPUTACIÓN
LENGUAJES FORMALES
PROYECTO

Elaborar un programa que dada como entrada un AFD, determine si una cadena w
dada pertenece al lenguaje generado por el programa.

Las entradas del programa son: (Q,∑, δ , q0, F)

Q: se deben ingresar los estados que hacer parte del AFD, hay libertad en la
forma de leer, puede ser gráfica como lo hace JFLAP o puede ser textual: leyendo
el numero de estados.

∑: se debe leer cada uno de los símbolos que hacen parte del alfabeto del AFD

δ: debe leerse la función de transición, de tal manera que se establezca para cada estado
y cada símbolo del alfabeto a cual estado pasa el autómata δ(q0, a) = p, en donde a es un
símbolo del alfabeto y p pertenece a un estado que pertenece a Q.

q0: se debe indicar cual o cuales son los estados finales.

Una vez leído el AFD, se debe ingresar una cadena y el programa debe indicar si la cadena
pertenece o no al lenguaje.

El programa debe permitir la posibilidad de mostrar los estados por los que pasa el
autómata al evaluar a cadena.