hs}(P)$ returns the set of paths from $P$ that end in an accepting state, or $\emptyset$ if no such paths exist</span>
<span id="cb1-47"><a href="#cb1-47" aria-hidden="true" tabindex="-1"></a><span class="ss">- </span>$\text{collect-outputs}(P)$ extracts the output strings from a set of paths</span>
<span id="cb1-48"><a href="#cb1-48" aria-hidden="true" tabindex="-1"></a><span class="ss">- </span>$P' = <span class="sc">\{</span>p \circ \langle (\sigma_1, \gamma, q') \rangle \circ \epsilon\text{-path} \mid p