Con stati pozzo, al plurale, intendo quegli stati del dfa che portano ad uno stato di errore. Esempio, il dfa A ha tre stati: q,f,s. Con f stato finale. Senza essere formale, con 0 da q vado in f. Sempre con 0 da f vado in s. s è uno stato pozzo, è inutile quindi tenerlo. Ecco questi stati, inclusi quelli inutili, secondo me andrebbero eliminati in minimize. Comunque dato che non appariva nell'algoritmo che ci ha consegnato il prof evito di implementarlo. Grazie ancora!