Un AFD está minimizado, si todos sus estados son "distinguibles" y "alcanzables".