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

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

FAdo - v.1.2

FAdo2

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

FAdo2

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)

FAdo2

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

FAdo2

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

FAdo2

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

FAdo2

FAdo-0.9.6.tar.gz

- some random bugs corrected in combo and single operations

FAdo - v.0.9.5

FAdo2
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


FAdo2
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


FAdo2
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

FAdo2
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.

FAdo - v.0.9.1

FAdo2
FAdo-0.9.1.tar.gz