epsilon-Halteproblem für Turingmaschinen
Einfache Sprache
Def. epsilon-Halteproblem für Turingmaschinen
Das epsilon-Halteproblem für Turingmaschinen $\text{HALT}_\text{TM}^\varepsilon$ ist definiert durch
$$\text{HALT}_\text{TM}^\varepsilon = \{\langle\mathcal M\rangle\mid \mathcal M \text{ ist eine TM und die Berechnung von $\mathcal M$ auf $\varepsilon$ terminiert}\}.$$