next up previous
Next: Membership and Non-membership Predicates Up: Finite State Transducers with Previous: Succintness

Practical Considerations

Predicate-augmented finite state automata are fully integrated in version 6 of the Fsa Utilities toolbox. The toolbox is freely available from In addition, some of the algorithms have been implemented in C++.


Noord G.J.M. van