https://9dok.net/document/qvl7evod-terminierende-deterministische-turingmaschine-leerer-eingabe-ausgezeichneten-zustand-gelten.html