a \cup <span class="sc">\{</span>\epsilon<span class="sc">\}</span>$, $\gamma_i \in \Gamma \cup <span class="sc">\{</span>\epsilon<span class="sc">\}</span>$, and $(q_i, \gamma_i) \in \delta(q_{i-1}, \sigma_i)$ for all $1 \leq i \leq n$, with $q_0$ being the initial state.</span>
<span id="cb1-26"><a href="#cb1-26" aria-hidden="true" tabindex="-1"></a></span>
<span id="cb1-27"><a href="#cb1-27" aria-hidden="true" tabindex="-1"></a>Each tuple $(\sigma_i, \gamma_i, q_i)$ indicates that the input symbol $\sigm