Awali
Another Weighted Automata library
|
Factories & Constructors | Contains all functions that allows to construct automata and expressions |
Options | Contains all enums describing the different algorithms to execute a transformation, and the option mechanism used at dyn layer |
Products | This group contains the functions that take two (or more) automata/transducers as input |
Quotient | Contains functions related to automata/transducer quotient (in particular, minimisation |
Standard | Contains all functions related to standard automata |
Transducer | Contains functions related to transducers |