6" aria-hidden="true" tabindex="-1"></a>Here, $\circ$ represents path concatenation. The set $P'$ contains all possible extensions of paths in $P$ after reading symbol $\sigma_1$, including any subsequent epsilon transitions.</span>
<span id="cb1-47"><a href="#cb1-47" aria-hidden="true" tabindex="-1"></a></span>
<span id="cb1-48"><a href="#cb1-48" aria-hidden="true" tabindex="-1"></a>The full parsing function is then:</span>
<span id="cb1-49"><a href="#cb1-49" aria-hidden="true" tabindex="-1"></a></span>
<s