; \text{if } \boldsymbol\sigma = \epsilon \\
\text{parse-from}_G(\sigma_2\ldots\sigma_n, P') &amp; \text{if } \boldsymbol\sigma = \sigma_1\sigma_2\ldots\sigma_n \\
\emptyset &amp; \text{otherwise}
\end{cases}
\]</span></p>
<p>where: <span class="math display">\[P' = \bigcup_{p \in P} \bigcup_{q' \in \delta(\text{last-state}(p), \sigma_1)} \bigcup_{e \in \text{epsilon-paths}(q')} \{p \circ \langle (\sigma_1, q') \rangle \circ e\}\]</span></p>
<p>Here, <span class="math inline">\(\circ\)</span> represents pat