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