Determinize

Description

This operation determinizes a weighted transducer. The result will be
an equivalent FST that has the property
that no state has two transitions with the same input label.
For this algorithm, epsilon transitions are treated as regular symbols (cf. RmEpsilon).