Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Alternativer Lösungsvorschlag für TM

–1 Punkt
142 Aufrufe

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)?

Gefragt 26, Nov 2014 in TUR-AG von uafjv uafjv Tutor(in) (167,990 Punkte)  

Eine Antwort

0 Punkte

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)

 

Beantwortet 26, Nov 2014 von uafjv uafjv Tutor(in) (167,990 Punkte)  
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?
Prolog-Tool zur Simulationen zu Turingmaschinen
...