Moin!

Die Frage bezieht sich auf denFoliensatz zu F3 (Folie 40/41):

Dass man eine DTM mit beidseitig unendlichem Band durch eine DTM mit zwei Bändern, die jeweils einseitig unendlich sind, simulieren kann, ist uns anschaulich klar - jedoch das Verständnis für die formale Abhandlung auf diesen Seiten fehlt etwas.

Wär super, wenn sich jemand erbarmen würde und das kurz und knapp erklären könnte (speziell im Bezug auf die Überführungsfunktion).

Ich denke, das könnt ihr selbst hinkriegen, das ist
eigentlich eine reine Fleißarbeit, wenn's einem
anschaulich klar ist. Das Band wird halt in zwei
Spuren aufgeteilt, wobei die obere den Inhalt des
linken Teils des beidseitigen Bandes enthält und
die untere Spur den Inhalt des rechten Teils.

Die Überführungsfunktion muss dann nur so gestaltet
sein, dass sich die TM in der endlichen Kontrolle
merkt, ob sie gerade auf der linken oder auf der
rechten Seite ist und dann jeweils nur in Abhängigkeit
vom oberen bzw. unteren Spurinhalt reagiert.

Und wenn sie ganz links angekommen ist (diese Stelle
kann man ja ganz am Anfang markieren), muss sie
nötigenfalls eine Richtungsänderung vollziehen und
sich in der endlichen Kontrolle merken, dass sie nun
die jeweils andere Spur beachten muss.

Ich hab jetzt keine Lust, die ganze Kantenmenge
hinzuschreiben, versucht es einfach selbst und
fragt, wenn ihr an einer Stelle nicht weiterkommt. [img]http://www.fb18.de/gfx/23.gif[/img]