myhill
nerode
The section "myhill_nerode" of the Automata Library in nuprl/lib/theories/automata/.
(creation_script.lisp)