Satz Allgemeine Wortproblem ist erkennbar

Einfache Sprache

Def. Satz Allgemeine Wortproblem ist erkennbar

WORD-TM ist erkennbar.

Beweisidee: Die Universelle Turingmaschine macht genau das.