Name Size Parent Directory - STBEY/ - PERRAD/ - ASB/ - DFA-Statemap-1.01.tar.gz 3.5K DFA-Statemap-1.01.readme 267 DFA-Simple-0.34.tar.gz 20K DFA-Simple-0.34.readme 666 DFA-Kleene-1.0.tar.gz 5.2K DFA-Kleene-1.0.readme 1.2K