Hola, retomo esto para consultar, para mi la solución está bien planteada. Lo que hace en el paso PI0 es mirar q0 con q2, ve que no pueden estar en el mismo, entonces tacha q2, luego compara q0 con q3, observa lo mismo que con q2 y por eso también "lo tacha". Por lo tanto eso genera que ese conjunto se divida en dos subconjuntos {q0}, {q2, q3} por lo que para mi la solución es correcta. O sea, cada conjunto si respeto en algoritmo, en cada iteración se parte en a lo sumo dos subconjuntos. No puedo a partir de un conjunto generar 3 en la misma iteración.
Es correcto?
Gracias
