Go to the source code of this file.
Namespaces | |
namespace | vcsn |
Functions | |
template<typename A, typename T> | |
void | invert (const Element< A, T > &t, Element< A, T > &res) |
Invert a transducer. | |
template<typename A, typename T> | |
Element< A, T > & | invert (const Element< A, T > &t) |
Invert a transducer. |
Compute the automaton performing the inverse rationnal relation.
This algorithm is described in "Weighted automata and transducers in Vaucanson" by Akim Demaille, Sylvain Lombardy and Jacques Sakarovitch, for WOWA 2006.
Definition in file invert.hh.