Call Σ and ∆, the input alphabet of M 1 and the output alphabet of M 2 , the outer alphabets.
the composition of M 1 and M 2 is the weighted FSt for each pair of transitions with the same inner symbol, the composed transducer has a transition transitions with the same source, target, input, and output symbols are merged, adding their weights.