El afnd supongo que te lo van a dar como una tabla de transiciones. A partir de dicha tabla puedes aplicar los algoritmos correspondientes para pasar de un afnd a un afd, para posteriormente construir la tabla de transiciones de tu afd.

Una vez que tengas lista la tabla de transiciones entre nodos, puedes utilizar una librería como graphviz donde le pasas los nodos y sus transiciones como parámetros y obtener el grafo de tu afd.

Saludos

yo tengo ese programa pero es en java, pero creo que es completo es de maquina de turin.

@homero_kantu Pasa el programa o como le hacemos para conocerlo.. saludos y gracias de antemano.