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