Alternativer Lösungsvorschlag für TM

Question

Hi. Ich hatte die Aufgabenstellung in b.) falsch/anders verstanden. Ich dachte die TM müsste das Palindrom erhalten, und dürfte es nicht löschen. Diese TM habe ich aufgebaut, sie akzeptiert glaube ich trotzdem alle Palindrome außer lambda, und lässt das ursprüngliche Wort nachher wieder auf dem Band erscheinen. Ist das so dann auch korrekt (siehe Anhang)?

Answer 1

Wenn ich mich nicht täusche, habe ich bereits heute mittag eine TM von jemandem mit der gleichen Art, die Aufgabennummer zu markieren, korrigiert. Ich nehme an, dass warst du. Es ist sehr zeitaufwendig, eine komplizierter TM zu korrigieren, da ich sie Schritt für Schritt nachvollziehen muss, was zusätzlich fehleranfällig ist. Im Internet sind verschiedene Simulationen zu Turingmaschinen frei zugänglich. Wenn du willst, kann ich dir auch ein Prolog-Programm schicken/hochladen, dass für eine gegebene TM entscheidet, ob sie in einem Endzustand hält und wenn ja, mit welchem Bandinhalt. Da letztes Semester in Info I Prolog behandelt wurde und die Prolog-Syntax sehr einfach ist, könntest du deine TM leicht eintragen und testen (falls du den Interpreter noch installiert hast). Für die Korrektheit des Programms kann ich jedoch nicht garantieren.

Alternativ kannst du auch warten, bis ein Tutor/eine Tutorin Zeit hat, deine Lösung anzuschauen. Wenn ich dich recht verstanden habe, weißt du bereits, dass deine TM unnötigerweise die Bandinschrift am Ende wieder herstellt.

Gruß,

Tobias (Tutor)

 

Comments

Jepp, der andere war auch von mir! Tut mir leid, wenn ich dass Forum so überbeanspruche ;-) Man ist sich halt seiner Lösung dann doch nicht immer so sicher. Wo finde ich im Netz den so ein Prolog-Tool?