Luego del tercer paso, si la tabla creada queda completamente marcada, entonces el AFD inicial ya era mínimo.