abindex="-1"></a>$$\text{transduce-from}(T, \boldsymbol\sigma, P) = \begin{cases}</span>
<span id="cb1-40"><a href="#cb1-40" aria-hidden="true" tabindex="-1"></a>\text{collect-outputs}(\text{find-accepting-paths}(P)) &amp; \text{if } \boldsymbol\sigma = \epsilon <span class="sc">\\</span></span>
<span id="cb1-41"><a href="#cb1-41" aria-hidden="true" tabindex="-1"></a>\text{transduce-from}(T, \sigma_2\ldots\sigma_n, P') &amp; \text{if } \boldsymbol\sigma = \sigma_1\sigma_2\ldots\sigma_n <span class="sc">\\</