Predicate-augmented finite state automata are fully integrated in version 6 of the Fsa Utilities toolbox. The toolbox is freely available from http://www.let.rug.nl/~vannoord/Fsa/. In addition, some of the algorithms have been implemented in C++.
