Inteligencia Artificial - Automatas finitos no deterministas

Pues a ver tengo una pequeña duda sobre la minimizacion de automatas finitos deterministas. Cuando tengo uno deterministas la minimizacion la se hacer (se borran estados inaccesibles, y se miran los estados equivalentes). El problema me viene cuando tengo que pasar de un AFND a un AFD equivalente. En el AFD equivalente me quedan los estados del AFND mas otros que tengo que añadir, mas un estado lambda tal que por ejemplo : f(lambda,a)=lambda f(lambda,b)=lambda (siendo a y b el alfabet de entrada) y el problema es que no se hacer con ese estado al minimizarlo. A ver si me podeis ayudar. Gracias

¿Cómo ocurre el reconocimiento de una cadena?
Ejemplifique el proceso de reconocimiento de una cadena con un autómata.
Defina cómo preguntar si una determinada cadena es aceptada por el autómata.
Esboce un programa en un lenguaje prescriptivo que resuelva este mismo problema.