En el documento "Ejercicio completo de minimización de autómatas y cálculo de clases de equivalencia de un lenguaje partiendo de un AFND-epsilon" https://eva.fing.edu.uy/pluginfile.php/287419/mod_resource/content/3/Minimizacion_y_clases_de_equivalencia.pdf
dice, en la parte de minimizacion en hoja 6: 
donde no me queda claro a que se refiere con indistinguibles, según las diapositivas de teórico, dos estados p,q eran distinguibles si existe un x que pertenece a sigma asterisco tal que la transición de esos estados con x terminan uno en F y otro no. Es relativo a el conjunto F, pero en este caso no veo que F esté presente.