Wir konstruieren aus einer Turingmaschine und einem Wort eine Turingmaschine , die auf das Band schreibt und dann am Wortanfang hält.

Wir konstruieren aus einer Turingmaschine und einem Wort eine Turingmaschine , die auf das Band schreibt und darauf dann wie arbeitet.

Wir konstruieren aus einer Turingmaschine eine Turingmaschine und ein Wort , wobei sich auf dem leeren Wort wie verhält und wir wählen.