is set always includes the empty path $\langle \rangle$ from a state to itself via zero epsilon transitions.</span>
<span id="cb1-32"><a href="#cb1-32" aria-hidden="true" tabindex="-1"></a></span>
<span id="cb1-33"><a href="#cb1-33" aria-hidden="true" tabindex="-1"></a>We can now define a recursive parsing function $\text{parse-from}_G(\boldsymbol\sigma, P)$ where $P$ is a set of partial paths:</span>
<span id="cb1-34"><a href="#cb1-34" aria-hidden="true" tabindex="-1"></a></span>
<span id="cb1-35"><a href=