FAdo
FAdo - v.2.0.2
20/02/22
FAdo - v.1.3.5.1
24/01/18
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
19/10/17
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
02/08/17
FAdo - v.1.3.3
22/06/17
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
02/03/16
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
FAdo - v.1.2
09/02/15
FAdo-1.2.tar.gz
- Better interface to FL objects
- enumDFA() and enumNFA() added pto enumerate languages
- CodePprop is now UDCodeProp
- IPTProp removed
- Strict concatenation implemented (DFA.sop() for now!)
- binary operations with NFAs now deal correctly with epsilon-NFAs
- uniform random word generator for finite languages
- corrected bug in fa.NFA.elimEpsilon()
- Resulting NFA from __or__ gets the union of both alphabets as its alphabet
FAdo - v.1.1
05/08/14
FAdo-1.1.tar.gz
- FL.ADFA.minDFCA() corrected with the addition of ADFA.forceToDCFA()
- Random generation via cfg bug fixed
- ICDFArndIncomplete bug fixed
- xre fixed with context for negation
- fa.DFA.hasTrapStateP() added
- ICDFA random generator flag bug fixed
- ICDFA random generators now written in python
- New display methods to be usable inside IPython notebooks
- Problems in Linux instalation
- SFT.evalWordP() was returning the negation of what it should.
- Random generators reimplemented to be available in python only installation.
FAdo - v.1.0 (Halifax)
03/06/14
FAdo-1.0.tar.gz
- Transducers (General Form, Standard Form and Normalized Form) supported
- Code properties specified by transducers
- FAdo is now available (without random generators) via pip
FAdo - v.0.9.8
25/04/14
FAdo-0.9.8.tar.gz
- cover automata
- new fio module that deals with i/o
- two-way automata starting to be supported
- distinguishability of a language
- new xre (extended Regular Expressions) module
FAdo - v.0.9.7
06/12/12
FAdo-0.9.7.1.tar.gz
- stupid error in DFA.__repr__() fixed
- better dealing of incomplete automata
- new DFA and NFA file format
- better integration with GRAIL+
FAdo - v.0.9.6
03/07/12
FAdo - v.0.9.5
13/06/12
FAdo-0.9.5.tar.gz
- star and concatenation for DFAs aiming minimal transition complexity
- new API documentation
- better regular expression random generation
FAdo - v.0.9.4
08/08/11
FAdo-0.9.4.tar.gz
- new setup for generator (bug in in installation fixed)
- shuffle migrated to fa.py
- shuffle for NFAs
- comboperations: shuffle corrected
- fa: dump added to NFA and DFA
FAdo - v.0.9.3
04/04/11
FAdo-0.9.3.tar.gz
⁃ fa.py: trimP corrected accordingly
⁃ Version in package now reflects the proper version and not the major one
⁃ fa.py: corrections and simplifications added to ADFA.minimal()
⁃ fl.py: andom balanced and "unbalanced" trie generation
⁃ Solved a bug with a mutual inclusions between fa and fl.
⁃ fl.py: DFAtoADFA now resides in fl.
⁃ fl.py: sigmaInititialSegment() added to fl
⁃ fa.py: product of dfas now ensures that its argument is a dfa.
⁃ fl.py: prefix-free and prefix-closed finite languages random trie added
⁃ fa.py: renaming of AcyclicP to acyclicP. Loops are now excluded from the test unless a strict flag is passed as an argument.
FAdo - v.0.9.2
28/02/11
FAdo-0.9.2.tar.gz
⁃ fl.py: Finite Languages module added to the project. AFA, ADFA and ANFA supported
⁃ fl.py: Uniform random generation of trie automata with (at least) a word of a maximum length added.
⁃ Grail+ interface improved. Now, only if the command has more than one argument a temporary file is created.
⁃ Grammar tables for grail, reex and FAdo now are “invisible”
⁃ rndfa.py added: a wrap for the ICDFA random Generator.
⁃ fa.py errors corrected in minimisation methods.
⁃ fa.py: readFromFile now supports comments as documented.
⁃ fa.py: saveToFile deals correctly with append flag.
⁃ fa.py: bugs on deleteState() were corrected.