Remving unreachable states from DFAs