Problema conversión automata AFND a AFD

[elclubdematt]

No se como pensar un algoritmo para transformar un AFND a un AFD.
los problemas se centralizan en
*Transformacion de un AFND con transiciones vacias
*Transformacion de un AFND con trasiciones dobles

No se me ocurre como hacer el algoritmo, tambien un poco de orientacion a que librerias ocupar menos AUTOMATON de java. porfis! esta es mi gran duda =(