PDA

Archiv verlassen und diese Seite im Standarddesign anzeigen : Rechtsseitige Turing-Maschine


HeavensRevenge
30.06.2003, 22:19
Ich habe hier folgende Aufgabenstellung...

Eine Turingmaschine heißt rechtsseitig, falls sie niemals ein
Feld auf dem Turingband benutzt, welches links von dem Eingabewort
der Anfangskonfiguration liegt.

Zeigen Sie, dass es zu jeder Turingmaschine eine äquivalente
rechtsseitige gibt.

Leider weiß ich nicht, wie ich in dem Beweis ansetzen soll, bzw. wie ich zum Ziel komme...

Die Überlegung ist ja, dass die Maschine den Schreib-/Lesekopf niemals weiter nach links bewegen darf, als das erste Zeichen des Eingabewortes, oder darf er sich jetzt prinzipiell nur nach rechts bewegen?

Hilfe!! Ich bin am Verzweifeln :(

<a href="http://www.heavensrevenge.de target="_blank"><img src="http://home.t-online.de/home/Heavens.Revenge/bilder/other/heav.gif" border=0></a>

Lim_Dul
30.06.2003, 23:08
Du darfst nie über das startzeichen aus nach links gehen.

Ich kenne Turing Maschinen eh nur so, das das erste Zeichen ein $ ist und man darüber nicht hinaus darf.

HeavensRevenge
30.06.2003, 23:16
Ja, das ist verstanden... Aber wie gehe ich dann den Beweis dazu an?
Ich krieg' den Ansatz nicht, wie ich das zeigen soll...

<a href="http://www.heavensrevenge.de target="_blank"><img src="http://home.t-online.de/home/Heavens.Revenge/bilder/other/heav.gif" border=0></a>

Lim_Dul
30.06.2003, 23:29
es reicht, wenn du eine Turingmaschine angeben kannst, die alles ein Zeichen nach rechts kopiert.
Die wird dann jedes, bevor du über das erste Symbol läufts ausgeführt und sofort ist ein Feld platz da ;)

HeavensRevenge
01.07.2003, 00:46
Klingt irgendwie logisch ... Dennoch krieg' ich's nicht gebacken ...

Wie komme ich von einer x-beliebigen TM (mit Links-/Rechts-Bewegungen die auch über das Eingabewort nach links rausgehen zu einer solchen?

Dieses Kopieren müsste aber nach links gehen, oder? nicht nach rechts (oder hab ich's mal wieder falsch verstanden?) ... und zwar genau dann, wenn der Schreib-/Lesekopf aufs Startsymbol des Eingabewortes kommt ..?

*planlos* :confused:

<a href="http://www.heavensrevenge.de target="_blank"><img src="http://home.t-online.de/home/Heavens.Revenge/bilder/other/heav.gif" border=0></a>

HeavensRevenge
04.07.2003, 18:25
Ähm, wollte nur anmerken... Das mit dem nach rechts Kopieren war korrekt (und nach einiger Zeit drüber Brüten hab' ich's auch verstanden :) ) ...

Danke nochmal!

<a href="http://www.heavensrevenge.de target="_blank"><img src="http://home.t-online.de/home/Heavens.Revenge/bilder/other/heav.gif" border=0></a>