"#cb1-35" aria-hidden="true" tabindex="-1"></a>$$</span>
<span id="cb1-36"><a href="#cb1-36" aria-hidden="true" tabindex="-1"></a>\text{parse-from}_G(\boldsymbol\sigma, P) = \begin{cases}</span>
<span id="cb1-37"><a href="#cb1-37" aria-hidden="true" tabindex="-1"></a><span class="sc">\{</span>p \in P \mid \text{last-state}(p) \in F<span class="sc">\}</span> &amp; \text{if } \boldsymbol\sigma = \epsilon <span class="sc">\\</span></span>
<span id="cb1-38"><a href="#cb1-38" aria-hidden="true" tabindex="-1"></a