anchor.diff:      (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
  -                                      (dfa-minimize-brzozowski fig-3-4)))
  +                                      (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
  -                                      (dfa-minimize-brzozowski fig-3-2)))
  +                                      (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
  -                (dfa-minimize-brzozowski (nfa->dfa (regex->nfa ex-3-7))))))
  +                (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)
  
positive.code:     (lisp-unit:assert-true (dfa-equal fig-1-44
                                        (dfa-minimize-hopcroft fig-1-44)))
      (lisp-unit:assert-true (dfa-equal fig-1-44
                                        (dfa-minimize-brzozowski fig-1-44)))
      (lisp-unit:assert-true (dfa-equal (dfa-minimize-hopcroft (nfa->dfa fig-1-42))
                                        fig-1-44))))
  
  
  (lisp-unit:define-test regex-dfa-matcher
    (labels ((equiv-hop-brz (regex)
               (let ((dfa (nfa->dfa (regex->nfa regex))))
                 (dfa-equal (dfa-minimize-brzozowski dfa)
                            (dfa-minimize-hopcroft dfa))))
             (match-dfa (regex string)
               (funcall (dfa->string-matcher
                         (nfa->dfa (regex->nfa regex)))
  
negative.code: 
  (lisp-unit:define-test dfa-minimize
    (lisp-unit:assert-true
     (dfa-equal (fa-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 (fa-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)))))
  