 id="cb1-92"><a href="#cb1-92" aria-hidden="true" tabindex="-1"></a>$$\text{best-transduce}(T, \boldsymbol\sigma) = <span class="sc">\{</span>\gamma \mid \gamma \in \text{transduce}(T, \boldsymbol\sigma) \text{ and } \text{weight}(\gamma) \text{ is optimal}<span class="sc">\}</span>$$</span>
<span id="cb1-93"><a href="#cb1-93" aria-hidden="true" tabindex="-1"></a></span>
<span id="cb1-94"><a href="#cb1-94" aria-hidden="true" tabindex="-1"></a>In practice, efficient algorithms like the Viterbi algorithm can 