i) \in \delta(q_{i-1}, \sigma_i)\)</span> for all <span class="math inline">\(1 \leq i \leq n\)</span>, with <span class="math inline">\(q_0\)</span> being the initial state.</p>
<p>Each tuple <span class="math inline">\((\sigma_i, \gamma_i, q_i)\)</span> indicates that the input symbol <span class="math inline">\(\sigma_i\)</span> was read, the output symbol <span class="math inline">\(\gamma_i\)</span> was produced, and the transducer moved to state <span class="math inline">\(q_i\)</span>.</p>
</section>