anchor.diff:  
       (lisp-unit:assert-true
        (dfa-equal fig-3-7
  -                (dfa-minimize-brzozowski fig-3-5))))
  +                (fa-minimize-brzozowski fig-3-5))))
     t)
   
   
  
positive.code: 
  (lisp-unit:define-test dfa-minimize
    (lisp-unit:assert-true
     (dfa-equal (dfa-minimize-brzozowski (make-fa '((0 a 1) (1 b 2) (2 a 1)) 0 1))
                (make-fa '((0 a 1) (1 b 0)) 0 1)))
    (flet ((min-cmp (dfa)
             (dfa-equal (dfa-minimize-brzozowski dfa)
                        (dfa-minimize-hopcroft dfa))))
      (lisp-unit:assert-true
       (min-cmp (make-fa '((0 a 1) (1 b 2) (2 a 1)) 0 1)))))
  
negative.code:     (lisp-unit:assert-true (dfa-equal fig-3-4-min
                                        (dfa-minimize-hopcroft fig-3-4)))
      (lisp-unit:assert-true (dfa-equal fig-3-4-min
                                        (fa-minimize-brzozowski fig-3-4)))
  
      ;; bigger dfa
      (lisp-unit:assert-true (dfa-equal fig-3-4-min
                                        (dfa-minimize-hopcroft fig-3-2)))
      (lisp-unit:assert-true (dfa-equal fig-3-4-min
                                        (fa-minimize-brzozowski fig-3-2)))
      ; regex
      (lisp-unit:assert-true
       (dfa-equal fig-3-4-min
                  (dfa-minimize-hopcroft (nfa->dfa (regex->nfa ex-3-7)))))
      (lisp-unit:assert-true
       (dfa-equal fig-3-4-min
                  (fa-minimize-brzozowski (nfa->dfa (regex->nfa ex-3-7))))))
  
    (let ((fig-3-5 (make-fa '((a 0 b) (a 1 f)
                              (b 0 g) (b 1 c)
  