Universidad de la Frontera
Facultad de Ingeniería
TEORIA DE AUTOMATAS Y LENGUAJES FORMALES
PROFESOR: Hans Iost
ALUMNO: Roberto Enrique Escobar Wall
E-mail: resco002@pinhue.ufro.cl
CARRERA: Ingeniería de Ejecución en Informática.
RESTRICCIONES
Restricciones al definir el AFND en el archivo:
"E={a,b,c,...}" ; donde a,b,c cada uno son un carácter, y corresponden al alfabeto.
"S={q0,q1,q2,....}"; donde q0,q1,q2,... son dos caracteres cualesquiera (no mas ni menos caracteres), y corresponden a los estados del AFND.
"So={q0}"; donde q0 son dos caracteres cualesquiera y corresponde al estado inicial.
"F={qi,qj,....}"; donde qi,qj son estados finales o de aceptación del autómata.
"d(q0,a)={qi,qj,...}; donde q0 es un estado; a es un elemento del alfabeto; qi,qj son estados.
Consideraciones:
UTILIZACION DEL PROGRAMA
Al iniciarse el programa aparecerá la siguiente pantalla: (antes deberá verificar la existencia y el contenido del archivo AFND.txt)
VENTANA DEL DIAGRAMA DEL AUTOMATA FINITO NO DETERMINISTA
VENTANA DEL DIAGRAMA DEL AUTOMATA FINITO DETERMINISTA