FAdo - v.1.2



- 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