Halting set at a designated terminal configuration
= Halting set at a designated terminal configuration
{title2=$H_0(\mathcal M)$}
For a <modular machine> whose $(0,0)$ is terminal, $H_0(\mathcal M)$ is the set of configurations whose forward computation reaches exactly $(0,0)$, including the zero-step computation there. It may differ from the set of configurations stopping at any terminal configuration. Determinism makes membership invariant along each instruction edge.