Similarly, since is regular, the weighted transduction defined by is rational.
by the theorem of Schützenberger (Schützenberger, 1961), there exists a weighted transducer defined over the alphabet d and the probability semiring realizing that transduction.