Finitely convergent learning programs for the separation of sets of shaded figures