anchor.diff:             (match-hop (regex string)
                (funcall (chain regex
                                #'regex->nfa
  -                             #'nfa->dfa
  -                             #'dfa-minimize-hopcroft
  +                             #'fa-minimize-hopcroft
                                #'dfa->string-matcher)
                         string))
              (match-brz (regex string)
                (funcall (chain regex
                                #'regex->nfa
  -                             #'nfa->dfa
                                #'fa-minimize-brzozowski
                                #'dfa->string-matcher)
                         string)))
  
positive.code:          (my-fig-3-63 (nfa->dfa my-fig-3-36)))
  
      (lisp-unit:assert-true (dfa-equal fig-3-63
                                        (dfa-minimize-hopcroft my-fig-3-63)))
      (lisp-unit:assert-true (dfa-equal fig-3-63
                                        (dfa-minimize-hopcroft my-fig-3-63)))))
  
  ;; examples from Hopcroft '79
  (lisp-unit:define-test fa-hopcroft-79
  
negative.code:                              (123 a 123) (123 b 23))
                             13 (list 13 123))))
      (lisp-unit:assert-true (dfa-equal fig-1-44
                                        (fa-minimize-hopcroft fig-1-44)))
      (lisp-unit:assert-true (dfa-equal fig-1-44
                                        (fa-minimize-brzozowski fig-1-44)))
      (lisp-unit:assert-true (dfa-equal (fa-minimize-hopcroft fig-1-42)
                                        fig-1-44))))
  
  
  