Metodo para comprobar que no hay estados sin marcar
MetodoImplementado
Comienzo de la conversion AFN a AFD para obtener la tabla de transiciones