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:                           'a-e (finite-set 'c))))
      (lisp-unit:assert-true
       (dfa-equal fig-3-7
                  (dfa-minimize-hopcroft fig-3-5)))
  
      (lisp-unit:assert-true
       (dfa-equal fig-3-7
  
negative.code:            (match-hop (regex string)
               (funcall (chain regex
                               #'regex->nfa
                               #'fa-minimize-hopcroft
                               #'dfa->string-matcher)
                        string))
             (match-brz (regex string)
               (funcall (chain regex
                               #'regex->nfa
                               #'fa-minimize-brzozowski
                               #'dfa->string-matcher)
                        string)))
  