anchor.diff:      (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)))
  +                                      (fa-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))))
  +             (let* ((nfa (regex->nfa regex))
  +                    (dfa (nfa->dfa (regex->nfa regex)))
  +                    (hop (dfa-minimize-hopcroft dfa)))
  +               (and (dfa-equal (fa-minimize-brzozowski dfa) hop)
  +                    (dfa-equal (fa-minimize-brzozowski nfa) hop))))
              (match-dfa (regex string)
                (funcall (dfa->string-matcher
                          (nfa->dfa (regex->nfa regex)))
  
positive.code:      (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-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-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-minimize-hopcroft (nfa->dfa (regex->nfa regex-2-15-c))))))
  
  
  
negative.code: 
      (lisp-unit:assert-true
       (dfa-equal fig-3-7
                  (fa-minimize-brzozowski fig-3-5))))
    t)
  
  
  