FAdo - v.1.3.5.1

FAdo2
FAdo-1.3.5.1.tar.gz

  • fa: NFA.HKequivalence() added Hopcroft & Karp linear equivalence test added
  • fa: type of operands of NFA intersection fixed
  • reex: counting snfs
  • Myhill-Nerode relation computed for DFAs (DFA.MyhillNerodePartition())

FAdo - v.1.3.4.1

FAdo2

FAdo-1.3.4.1.tar.gz

  • Fixed bug in the random generator seed initialisation (thanks to Héctor L Palacios V )

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