FAdo - v.1.3.4

FAdo2

FAdo-1.3.4.tar.gz

  • rndfa & rndfap now with generators that accept a seed value

FAdo - v.1.3.3

FAdo2

FAdo-1.3.3.tar.gz

  • fa.DFA.regexp bug fixed
  • Watson-Daciuk's ADFA incremental minimisation
  • DFA reversability test implemented
  • DFA intersection made faster
  • FA state deletion made faster
  • FA product construction made faster
  • makeCode made faster

FAdo - v.1.3.2.1

FAdo2

FAdo-1.3.2.1.tar.gz

  • some bugs solved (thanks to David Purser to spot them)

FAdo - v.1.3

FAdo2

FAdo-1.3.tar.gz

  • Random generator for ADFAs (rndadfa.py)
  • Implementation of Asperti, Coen and Tassi "au-point" conversion of regexp to DFA regexp.dfaAuPoint()
  • Implementation of Yamada, McNaughton and Glushkov conversion to DFA regexp.dfaYMG()
  • JSON format for Automata
  • Ipython suport
  • Methods added to construct error detecting languages