Allgemeines Wortproblem für Turingmaschinen

Einfache Sprache

Def. Allgemeines Wortproblem für Turingmaschinen

Gegeben die Sprache $\text{WORD}_\text{TM}\subseteq\{0,1\}^*$ durch

$$\text{WORD}_\text{TM} = \{\langle \mathcal M, w\rangle\mid \mathcal M\text{ ist eine TM und } w\in L(\mathcal M)\}$$

Ist $\text{WORD}_\text{TM}$ entscheidbar?

Sätze

Antwort Nein. Siehe: Satz Allgemeine Wortproblem für Turingmaschinen ist unentscheidbar