h concatenation. The set <span class="math inline">\(P'\)</span> contains all possible extensions of paths in <span class="math inline">\(P\)</span> after reading symbol <span class="math inline">\(\sigma_1\)</span>, including any subsequent epsilon transitions.</p>
<p>The full parsing function is then:</p>
<p><span class="math display">\[
\text{parse}_G(\boldsymbol\sigma) = \text{parse-from}_G(\boldsymbol\sigma, \bigcup_{e \in \text{epsilon-paths}(q_0)} \{\langle \rangle \circ e\})
\]</span></p>
<p>This al