This is a particular Trie whose Symbols are Pairs of Strings, the first of which is interpreted as an input symbol and the
second as an output symbol. The transducer obtained by trie minimization can be written to a file in the transducer format used
To get the transducer representation first compute the minimization of the trie, then write the transducer to disk.
See main method for example usage.