</span>
<span id="cb1-43"><a href="#cb1-43" aria-hidden="true" tabindex="-1"></a>where:</span>
<span id="cb1-44"><a href="#cb1-44" aria-hidden="true" tabindex="-1"></a>$$P' = \bigcup_{p \in P} \bigcup_{q' \in \delta(\text{last-state}(p), \sigma_1)} \bigcup_{e \in \text{epsilon-paths}(q')} <span class="sc">\{</span>p \circ \langle (\sigma_1, q') \rangle \circ e<span class="sc">\}</span>$$</span>
<span id="cb1-45"><a href="#cb1-45" aria-hidden="true" tabindex="-1"></a></span>
<span id="cb1-46"><a href="#cb1-4