anchor.diff:       (dfa-equal (dfa-minimize-hopcroft (nfa->dfa fig-2-15-a))
                   (dfa-minimize-hopcroft (nfa->dfa (regex->nfa regex-2-15-a)))))
       (lisp-unit:assert-true
  -     (dfa-equal (dfa-minimize-brzozowski (nfa->dfa fig-2-15-a))
  +     (dfa-equal (fa-minimize-brzozowski (nfa->dfa fig-2-15-a))
                   (dfa-minimize-hopcroft (nfa->dfa (regex->nfa regex-2-15-a)))))
   
       (lisp-unit:assert-true
        (dfa-equal (dfa-minimize-hopcroft (nfa->dfa fig-2-15-b))
                   (dfa-minimize-hopcroft (nfa->dfa (regex->nfa regex-2-15-b)))))
       (lisp-unit:assert-true
  -     (dfa-equal (dfa-minimize-brzozowski (nfa->dfa fig-2-15-b))
  +     (dfa-equal (fa-minimize-brzozowski (nfa->dfa fig-2-15-b))
                   (dfa-minimize-hopcroft (nfa->dfa (regex->nfa regex-2-15-b)))))
   
       (lisp-unit:assert-true
        (dfa-equal (dfa-minimize-hopcroft (nfa->dfa fig-2-15-c))
                   (dfa-minimize-hopcroft (nfa->dfa (regex->nfa regex-2-15-c)))))
       (lisp-unit:assert-true
  -     (dfa-equal (dfa-minimize-brzozowski (nfa->dfa fig-2-15-c))
  +     (dfa-equal (fa-minimize-brzozowski (nfa->dfa fig-2-15-c))
                   (dfa-minimize-hopcroft (nfa->dfa (regex->nfa regex-2-15-c))))))
   
   
  
positive.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
                                        (dfa-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)))
      ; 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))))))
  
    (let ((fig-3-5 (make-fa '((a 0 b) (a 1 f)
                              (b 0 g) (b 1 c)
  
negative.code:                       string))
             (match-brz (regex string)
               (funcall (dfa->string-matcher
                         (fa-minimize-brzozowski
                          (nfa->dfa (regex->nfa regex))))
                        string)))
      (macrolet ((test (regex positive negative)
  