Hallo,
die grundsätzliche Idee der bei der Turingmaschine in der ML ist es, schrittweise die binäre Zahl auf dem Band um 1 zu verringern, bis der Wert 0 ist. In jedem der Subtraktionsschritte schreibt man ein X rechts neben die Zahl. Dadurch entspricht am Ende die Anzahl der X gerade dem Wert der ursprünglich auf dem Band stehenden binären Zahl.
Ich hoffe das hilft. Bei detaillierteren Verständnisproblemen einfach nochmal fragen
Christian (Tutor)