Literature/nipkow-tphols98.ps
2010-10-22 urbanc added a paper by Constable about the Myhill-Nerode in Nuprl using DFA and a paper by tobias about RegExp->DFA translation
less more (0) tip