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())