Eine entscheidende Turingmaschine kann es auch gar nicht geben, denn diese würde auch das Komplement von (nämlich gerade die Diagonalsprache ) entscheiden, was nach obigen Ausführungen nicht sein kann.