anchor.diff:                (make-fa '((0 a 1) (1 b 0)) 0 (finite-set 1))))
     (flet ((min-cmp (dfa)
              (dfa-equal (fa-minimize-brzozowski dfa)
  -                      (dfa-minimize-hopcroft dfa))))
  +                      (fa-minimize-hopcroft dfa))))
       (lisp-unit:assert-true
        (min-cmp (make-fa '((0 a 1) (1 b 2) (2 a 1)) 0 (finite-set 1))))
   
  
positive.code:                              (123 a 123) (123 b 23))
                             13 (list 13 123))))
      (lisp-unit:assert-true (dfa-equal fig-1-44
                                        (dfa-minimize-hopcroft fig-1-44)))
      (lisp-unit:assert-true (dfa-equal fig-1-44
                                        (fa-minimize-brzozowski fig-1-44)))
      (lisp-unit:assert-true (dfa-equal (dfa-minimize-hopcroft (nfa->dfa fig-1-42))
                                        fig-1-44))))
  
  
  
negative.code:          (my-fig-3-63 (nfa->dfa my-fig-3-36)))
  
      (lisp-unit:assert-true (dfa-equal fig-3-63
                                        (fa-minimize-hopcroft my-fig-3-63)))
      (lisp-unit:assert-true (dfa-equal fig-3-63
                                        (fa-minimize-hopcroft my-fig-3-63)))))
  
  ;; examples from Hopcroft '79
  (lisp-unit:define-test fa-hopcroft-79
  