Origin Sections NuprlLIB Doc


Nuprl 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.

nfa 1
grammar 1
automata 7
automata 6
automata 5
automata 4
myhill nerode
det automata
action sets