Buenas!
Intentando hacer este ejercicio me quedó una duda sobre los estados finales que se consideran en el pasaje de AFND a AFD.
Según entiendo, los estados finales en el AFND son q0 y q3 (q3 por letra y q0 se agrega en la construcción del AFND).
Luego, haciendo el pasaje a AFD, me quedan los superestados exactamente como la solución, pero considero p3 también como estado final (porque contiene a q3), mientras que en la solución no lo toman como tal: "Quedando como estados finales: {p0,p2,p4,p5}".
Quería saber por qué funciona así, ya que tenía entendido que se consideraban finales siempre que la intersección del superestado con el conjunto F de estados finales del AFND no sea vacía.
Muchas gracias desde ya!
Saludos!