AutomataNuprl Section: Automata - Automata Library
This automata theory library was developed by Constable, Naumov, and Uribe, then modified by Nogin
to improve runtime of extracts.
It was built as a constructive formalization of part of Aho, Hopcroft & Ulmann's book. See
Nogin's tech report.