algoritme voor dfa minimalisatie