Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in Turingmaschinen

Beantwortet: Turingmachinen allgemein

Sat, 24 Jul 2021 07:01:36 +0000

Bei einer Turingmaschine stehen links und rechts vom Band unendlich viele * (Sterne/Leersymbole)

deterministische und nicht deterministische TM

Fri, 19 Mar 2021 11:31:18 +0000

Hallo,

was ist der unterschied zwischen einer deterministischen und nicht deterministischen Turingmaschine? Ich bin davon ausgegangen, dass beide die selbe Sprache akzeptieren.

viele Grüße

Kommentiert: HK 2018/19 Aufg.4 - Alternativlösung

Tue, 16 Mar 2021 11:29:34 +0000

Hallo Martin,

okay super :)

Vielen Dank für die schnelle Antwort!!

LG

Beantwortet: Turingmaschine endet, wo Lesekopf?

Sat, 08 Feb 2020 16:01:11 +0000

So lange es in der VL oder der Aufgabenstellung der Prüfung nicht anders steht, darf die TM stehen bleiben wo auch immer du willst...

(hauptsache sie bleibt stehen wenn sie ein Wort der gewünschten Sprache eingelesen hat und zwar nur dann)

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)

Beantwortet: Theoretische Informatik Übungsbuch A76

Thu, 06 Feb 2020 19:02:14 +0000

Wenn in der Aufgabe nichts explizit gegeben ist, ist es egal auf welcher Seite der Endzustand erreicht wird.

Gruß

Madita (Tutorin) (Alle Angaben ohne Gewähr)

Beantwortet: Turingmaschinen: mehr Zustände als in der Vorlagentabelle

Wed, 05 Feb 2020 13:18:06 +0000

In den letzten Jahren konnte man die Tabellen erweitern, solange es in der Aufgabenstellung nicht anders vorgegeben war... diese waren lediglich ein Anhaltspunkt.

Ihr solltet beim Üben aber darauf achten, dass euch die Tabellen reichen... je mehr Zustände, desto mehr Zeit benötigt ihr und die hat man in WiWi Klausuren bekanntlich selten im Überschuss.

LG, Nico (Tutor) (Alle Angaben ohne Gewähr)

Kommentiert: Komplement von z.Bsp. 0000

Mon, 03 Feb 2020 14:52:36 +0000

Da hast du Recht, in diesem Fall würde sich durch die Änderung kein Fehler ergeben
Liebe Grüße,
Nico (Tutor)

Antwort bearbeitet: Konfigurationsabfolge Turingmaschinen

Mon, 03 Feb 2020 11:49:45 +0000

DIe Tuppel in der Spalte Transition sind folgendermaßen aufgebaut: (Zustand in den man wechselt, Zeichen welches man schreibt, Bewegungsrichtung des Schreib-/Lesekopfes)

Die unter Konfiguration: (Zeichen links von Lese-/Schreibkopf, aktueller Zustand, Zeichen auf dem Lese-/Schreibkopf und die rechts davon)

Versuch nächstes mal selbst dahinter zu steigen, indem du dir die Aufgabe intesiv anschaust... dabei lernst du mehr.

Grüße,

Nico (Tutor) (Alle Angaben ohne Gewähr)

Beantwortet: Turingmaschine letzte Position

Sat, 01 Feb 2020 15:20:13 +0000

Nein eine Touringmaschine muss nicht immer auf dem linkesten Zeichen stehen bleiben. Es sei denn es wird in der Aufgabenstellung explizit gefordert. Ist dies nicht der Fall, lasse deine Maschine einfach dort stehen, wo der Ablauf beendet wurde. Meiner Meinung nach ist Zeile s6 bei dieser Aufgabe deshalb nicht notwendig. In der Klausur würde so etwas deutlich angegeben werden. Grüße Hendrik (Tutor)

Bearbeitet: Alternativlösung

Wed, 29 Jan 2020 09:19:25 +0000

Hier ist eine Alternativlösung. Bitte um Feedback!

Hat das noch jemand so gemacht?

Und noch etwas: In der Version der Musterlösung wird extra noch der Zustand s6 hinzugefügt, damit der Lesekopf im Endzustand über dem linkesten Bandzeichen ist. Das wird aber nicht gefordert soweit ich das der Aufgabenstellung entnehmen kann. Wäre es also auch korrekt sich diesen Zustand in der Musterlösung zu sparen und direkt von s5 in se zu gehen?

Kommentiert: Alternative Lösung Turingmaschine a^n b^n c^n (Vorlesung Bsp.)

Sun, 05 Jan 2020 14:55:08 +0000

Super, ja es ist leider etwas unübersichtlich.

Vielen Dank schönen Feiertag (;

Roman

A74 vs. A76 - Theoretische Informatik

Tue, 28 May 2019 16:07:50 +0000

Bei Aufgabe 76 wird der Zustand s0 genutzt, um nach dem Markieren aller Zahlen, schließlich alle "n's" wieder zu 0en und alle "e's" wieder zu 1en zu machen.

Bei Aufgabe 74 wird selbige Aufgabe an einen weiteren Zustand "s5" abgegeben.

--> Ist es möglich, die TM aus Aufgabe 76 genau so wie die TM aus Aufgabe 74 zu gestalten, und die TM aus Aufgabe 74 genau so wie die TM aus Aufgabe 76, oder besteht der Grund für die unterschiedliche Gestaltung in einem Detail, dass ich übersehen habe ?

Gruß

Antwort ausgewählt: Leeres Wort bei Turing-Maschinen

Sun, 06 Jan 2019 16:32:09 +0000

Hallo ugmwm,

zu deiner ersten Frage:

Das leere Wort Lambda taucht nicht in deinem Eingabealphabet auf. Das war ja auch bei bspw. endlichen Automaten nicht der Fall, die das leere Wort akzeptieren sollten, und bei Turingmaschinen ist das genauso.

Zu deiner zweiten Frage:

Lambda taucht ebenfalls nicht in deiner Turingtafel auf. Wenn du eine Turingmaschine hast, die nur Wörter akzeptieren soll, die in der gegebenen Sprache enthalten sind, und das leere Wort da auch dazu gehört, dann entspricht die Codierung des leeren Wortes bei einer Turingmaschine dem Fall, dass einfach nur Sterne auf dem Band stehen. Nun gibt es zwei Möglichkeiten:

Die Konfiguration (s0, *) existiert nicht in der Turingtafel: Dann bleibt die Turingmaschine direkt „stecken“ und kann nichts weiterbearbeiten. s0 muss dann folglich ein Endzustand sein, um das leere Wort zu akzeptieren.
Die Konfiguration (s0, *) existiert in der Turingtafel: Dann muss es einen Berechnungspfad geben, der in einen Endzustand führt und damit das ursprünglich leere Wort (nur * auf dem Band) akzeptiert. Schau dir hierzu mal die Aufgabe 5 b) von Tut 3 an für den Fall, dass nur * (also das leere Wort) am Anfang auf dem Band stehen.

Ich hoffe ich konnte Dir damit helfen.

Viele Grüße

Claus (Tutor)

Beantwortet: Abgabeblatt Aufgabe Turingmaschine

Thu, 03 Jan 2019 16:11:28 +0000

Hallo ufuiu,

es ist nicht falsch, wenn du mehr Zustände benötigst und noch weitere Zeilen dazuzeichnest. (Aber eigentlich reichen die angegebenen Zeilen.)

Viele Grüße

Anne (Tutor)

Beantwortet: Annahme Turingmaschine zu Beginn über ganz linkem Zeichen

Tue, 23 Jan 2018 06:48:58 +0000

Die Kopfposition auf dem linkesten Zeichen der Eingabe ist Teil der Definition einer Turingmschine. Das müssen Sie nicht als Annahme formulieren, sondern Sie können (und müssen!) immer davon ausgehen, dass das so ist.

Ich möchte allgemein darauf hinweisen, dass Sie die Definitionen aus der Vorlesung genau lernen und verstehen sollten. Die vorgestellten Methoden funktionieren nur, wenn man nicht nur eine ungefähre Vorstellung von dem hat, was passiert, sondern wenn man in der Lage ist, in allen Situatioen (und das sind insbesondere auch die "Randsituationen", die nicht dem Regelfall entsprechen, sondern in Extremfällen auftreten) exakt nach Definition vorzugehen.

Wir prüfen in den Klausuren immer auch Ihr Wissen von diesen Randfällen ab.

Kommentiert: Lösung, bei der man immer von Sternchen zu Sternchen geht

Sat, 13 Jan 2018 17:37:25 +0000

Sie hatten an etlichen Stellen o statt 0 geschrieben, Kommas vergessen oder durch Semikolons ersetzt usw.

Kommentiert: Frage zu A73, Übungsbuch Turingmaschine

Sun, 07 Jan 2018 15:59:09 +0000

Genau. s0 sorgt dafür, dass der Lese-/Schreibkopf auf dem Zeichen ganz rechts steht. Die anderen beiden Zustände wird nun die geforderte Umwandlung der Bandinschrift in ihr Zweierkomplement vorgenommen und auf dem linkesten Zeichen des konvertierten Wortes stehengeblieben.

Schönen Abend noch!

Beantwortet: Ratefähigkeit der nichtdeterministischen TM

Fri, 29 Sep 2017 10:08:39 +0000

Das zweite ist es, Sie können blind annehmen, dass, wenn es einen richtigen Weg, die Turingmaschine die richtige Abzweigung nimmt.

Beantwortet: Turingmaschine wo Lesekopf am ende?

Mon, 06 Feb 2017 15:32:44 +0000

Wenn nichts in der Aufgabe steht, können Sie den hinfahren, wo Sie wollen. Das ist für die Rechnung völlig unerheblich.

Kommentiert: Konfigurationsfolge XWizard

Thu, 02 Feb 2017 15:02:11 +0000

Vielen Dank für die schnelle Antwort!

Antwort ausgewählt: Alternativlösung

Thu, 02 Feb 2017 14:26:39 +0000

Hallo,

ja, Ihre Lösung ist auch korrekt.

Kommentiert: Alternativlösung

Thu, 02 Feb 2017 13:33:48 +0000

Hallo usdqz.
Du hast Recht, ich war wohl etwas zu sehr geprägt von der Lösung, dass ich mir nicht vorstellen konnte, dass diese Lösung richtig sei.
Bei der Erklärung hat mich das maximal so verwirrt, dass ich mir sicher war, der Student (hast du sie geschrieben usdqz?) hätte die Aufgabe nicht richtig verstanden.

Mit modernster Kamera und Entschlüsselungstechniken ist es mir mittlerweile gelungen alles auf dem Foto zu erkennen und ich muss zugeben:
Ich bin begeistert! Die Lösung funktioniert (Ich bin mir nicht ganz sicher, weil ich manche Zeichen wirklich nicht erkennen kann, aber der Ansatz ist klug und richtig!) und gibt genau die richtige Lösung. Die Übungsleiter werden begeistert sein von dieser schönen, eleganten und kurzen Lösung.

Ich lasse meine erste Antwort nochmal stehen um an diese Schande zu erinnern!

Grüße, Felix(wahrscheinlich bald kein Tutor mehr, weil gefeuert)

Antwort ausgewählt: Alternativlösung

Mon, 30 Jan 2017 14:44:26 +0000

Hallo,

soweit ich sehe landest du dann, wenn das Wort nur noch aus N's und E's besteht am linken Rand des Wortes, gehst dann in Sü und dann in Se über ohne die Zeichen wieder in Nullen und Einsen umzuwandeln.

Wenn du in Zeile Sü noch L in R umwandelst, sollte es klappen.

Viele Grüße

Lukas (Tutor)

Beantwortet: S2 überflüssig

Fri, 27 Jan 2017 20:48:53 +0000

Ja, da in der Aufgabenstellung nicht gefordert ist, dass der Lesekopf beim Akzeptieren wieder auf dem linkesten Bandzeichen stehen muss, ist deine Lösung auch korrekt.

Viele Grüße

Philipp (Tutor)

Beantwortet: Alternative Lösung (vgl. A74)

Fri, 27 Jan 2017 20:38:34 +0000

Ja, das ist auch richtig.

Viele Grüße

Philipp (Tutor)

Kommentiert: 2er-Komplement von 000?

Thu, 26 Jan 2017 18:24:18 +0000

Wie schon in der alten Antwort geschrieben, ist die Aufgabenstellung vielleicht nicht genau genug, aber ein Fehler ist es nicht. Man könnte alternativ statt des Sterns auch eine Eins beim Lesen von $\star$ in $s_2$ schreiben, weil nicht spezifiziert wurde, was im Fall eines Überlaufs passiert.

Kommentiert: TM als Akzeptor - Wort vollständig einlesen?

Wed, 25 Jan 2017 12:58:15 +0000

Allerdings kann es bei Komplexitätsbetrachtungen sinnvoll sein, wenigstens zu fordern, dass eine Turingmaschine jedes Zeichen der Eingabe mindestens einmal "gesehen" hat - dass also (definitionsgemäß) keine Turingmaschine existieren darf, die weniger als lineare Zeit für die Bearbeitung ihrer Eingabe benötigt. Das hat aber eher technische Gründe - und das müssen Sie in diesen Details für Info 2 nicht wissen.

Kommentiert: Alternative Lösung

Wed, 25 Jan 2017 06:24:29 +0000

Der XWizard-Code sieht soweit gut aus! Prima :-)

Ich habe noch unter "input" das Wort 0110 als Eingabewort eingetragen, dann ergibt sich folgender (korrekt aussehender) Rechenweg: http://www.xwizard.de:8080/Wizz?template=ID-22052

PS. Die "kurze URL" ist normalerweise praktischer.

Kommentiert: Allgemeine Frage

Wed, 11 Jan 2017 14:02:51 +0000

In den Altklausuren war meines Wissens immer eine Kombination aus Turingtafel und einer Beschreibung, was die einzelnen Zeilen tun, verlangt.

Kommentiert: Verständnisfrage 2-Komplement

Fri, 22 Jul 2016 08:30:31 +0000

wird das erste Bit auch gekippt? Es handelt sich doch um das Vorzeichen Bit?
w'=2^(n-1)-w oder?

Antwort ausgewählt: Wann muss man das Wort wiederherstellen, wann darf man es löschen.

Sat, 23 Apr 2016 06:00:33 +0000

Trommelwirbel und hgier ist das Skript:

turing:
(s0, a) => (s1, d, R);
(s0, b) => (s2, e, R);
(s0, c) => (s3, f, R);

(s1, a) => (s1, a, R);
(s1, b) => (s1, b, R);
(s1, c) => (s1, c, R);
(s1, d) => (s9, a, L);
(s1, e) => (s9, b, L);
(s1, f) => (s9, c, L);
(s1, *) => (s4, *, R);

(s2, a) => (s2, a, R);
(s2, b) => (s2, b, R);
(s2, c) => (s2, c, R);
(s2, d) => (s10, a, L);
(s2, e) => (s10, b, L);
(s2, f) => (s10, c, L);

(s3, a) => (s3, a, R);
(s3, b) => (s3, b, R);
(s3, c) => (s3, c, R);
(s3, d) => (s11, a, L);
(s3, e) => (s11, b, L);
(s3, f) => (s11, c, L);

(s4, a) => (s5, d, L);
(s4, b) => (s6, e, L);
(s4, c) => (s7, f, L);
(s4, d) => (see, a, N);
(s4, e) => (see, b, N);
(s4, f) => (see, c, N);

(s5, a) => (s5, a, L);
(s5, b) => (s5, b, L);
(s5, c) => (s5, c, L);
(s5, d) => (s8, a, R);
(s5, e) => (s8, b, R);
(s5, f) => (s8, c, R);

(s6, a) => (s6, a, L);
(s6, b) => (s6, b, L);
(s6, c) => (s6, c, L);
(s6, d) => (s8, a, R);
(s6, e) => (s8, b, R);
(s6, f) => (s8, c, R);

(s7, a) => (s7, a, L);
(s7, b) => (s7, b, L);
(s7, c) => (s7, c, L);
(s7, d) => (s8, a, R);
(s7, e) => (s8, b, R);
(s7, f) => (s8, c, R);

(s8, a) => (s1, d, R);
(s8, b) => (s2, e, R);
(s8, c) => (s3, f, R);
(s8, d) => (see, a, L);
(s8, e) => (see, b, L);
(s8, f) => (see, c, L);

(s9, a) => (s5, d, L);
(s9, d) => (see, a, N);

(s10, b) => (s6, e, L);
(s10, e) => (see, a, N);

(s11, c) => (s7, f, L);
(s11, f) => (see, c, N);

--declarations--
e=#n#;
s0=s0;
F=see,;
blank=*;
inputs=abbbab;
runStepsScript=100;
shortTrace=false;
displayMode=2
--declarations-end--

Beantwortet: Verständnis Mächtigkeit Turingmaschine

Sat, 13 Feb 2016 16:11:48 +0000

Hallo uydur,

damit ist gemeint, dass eine zu einer bestimmten Typ 0 Sprache zugehörige Turingmaschine jedes Wort in der Sprache akzeptiert, also 1 ausgibt. Umgekehrt kann es aber sein, dass die Turingmaschine für ein Wort, dass nicht Teil der Sprache ist nicht terminiert, also nicht zwangsläufig 0 ausgibt.

Viele Grüße

Gregor (Tutor)

Antwort erneut angezeigt: Falsche Ansichtsweise?

Tue, 09 Feb 2016 12:08:54 +0000

Hallo,

Palindrome sind Wörter die von vorne nach hinten gelesen das gleiche ergeben wie von hinten nach vorne. Entscheidend ist also, dass das Wort symetrisch zur Mitte ist. Dies ist aber auch z.B. bei dem von dir abgeleiteten Wort aabaa der Fall, wobei hier das b die Mitte darstellt, um das das Wort symetrisch aufgebaut ist.

Palindrome können also sowohl eine gerade als auch eine ungerade Anzahl von Zeichen haben.

Viele Grüße

Tim (Tutor)

Beantwortet: Verstädnis

Tue, 09 Feb 2016 11:42:08 +0000

Hallo uqdrx!

Ich denke, dass der Lerneffekt für dich hier wirklich am größten ist. wenn du (analog zur A75) einfach mal selbst die Liste, was in welchem Zustand deiner Meinung nach passiert, erstellst und hier reinschreibst.

Wir korrigieren und ergänzen dann sehr gerne, falls etwas falsch ist oder fehlt!

Viele Grüße,

Janine (Tutorin)

Beantwortet: Klausur

Tue, 09 Feb 2016 11:25:26 +0000

Hallo uqdrx!

Es gibt insgesamt 90 Punkte und 90 Minuten Zeit in der Klausur. Dann kannst du dir in der Klausur einfach die Zeit, die du auf eine Aufgabe ungefähr verwenden kannst, um im Zeitrahmen zu bleiben, anhand der Punktzahl für diese Aufgabe berechnen.

Bzgl. dieser speziellen Turingmaschine schau doch einfach mal in Altklausuren, wie viele Punkte dort für vergleichbare Turingmaschinen vergeben wurden.

Viele Grüße,

Janine (Tutorin)

Kommentiert: Alternativer Lösungsvorschlag

Tue, 09 Feb 2016 09:52:02 +0000

Ja so denke ich kann man die Turingmaschine auch beschreiben ;)

Beantwortet: Zustandsänderung

Mon, 08 Feb 2016 12:27:23 +0000

Hallo unegn,

siehe Kommentar!

Beantwortet: Formulierung der Aufgabe falsch?

Fri, 05 Feb 2016 17:11:54 +0000

Hallo,

spontan finde ich deine Idee der Aufgabenstellung sehr treffsicher.

Allerdings ist die Zweikomplement-Darstellung eben genau dazu da, "normale" Dualzahlen in ein entsprechendes Pendant umzuwandeln, welches dann als die negative Zahl interpretiert wird. Die Aufgabenstellung ist also schon passend.

Gruß

Max (Tutor)

Kommentiert: Alternative Lösung? XWizard nicht erreichbar

Thu, 04 Feb 2016 18:43:51 +0000

Das macht Sinn - danke für die Antwort!

Beantwortet: Interpretation der Fragestellung

Mon, 01 Feb 2016 17:02:10 +0000

Hallo,

zunächst einmal besteht die Bandinschrift nur aus 0 und 1, was im Prinzip schon ausreicht, um sie als Binärzahl zu interpretieren. Über ihr Vorzeichen o.Ä. ist nichts gesagt.

Ganz allgemein sind alle Darstellungen für negative Zahlen, wie sie beispielsweise in den Tutorien vorkamen, nur Möglichkeiten zur Codierung negativer Zahlen ausschließlich mit Nullen und Einsen. Sie beruhen also auf Konventionen.

Zur Umwandlung in das Zweierkomplement sind weiterhin zwei Schritte nötig:

1) Alle Bits kippen (0 zu 1 und andersrum)

2) An der niedrigsten Stelle eine 1 addieren

(Nur eine führende Null anfügen reicht nicht aus zur Umwandlung)

Ich hoffe, dass das Verständnisproblem bei der allgemeine Umwandlung damit klar wird und nehme an, dass sich damit auch die Lösung der Turingmaschine selbst ermitteln oder spätestens nachvollziehen lässt.

Gruß

Max (Tutor)

Beantwortet: Fehler in der Lösung? Kontextfreie Grammatik

Tue, 19 Jan 2016 10:04:06 +0000

Hallo uagll,

schoen, wenn sich die Frage erledigt hat, nochmal fuer alle: Palindrom bedeutet, dass das Wort von hinten nach vorne gelesen das gleiche ergibt wie anders herum. Also gibt es eine Art Mittelpunkt. Dieser faellt bei Woertern mit ungerader Laenge auf den Mittlersten Buchstaben (vgl. racEcar , hier ist E der Mittelpunkt/Spiegelpunkt) und bei Woertern mit gerader Laenge (vgl. aNNa, hier ist der Spiegelpunkt zwischen den beiden N's) zwischen die beiden mittleren Buchstaben.

Viel Erfolg,

Marvin (Tutor)

Beantwortet: Alternativlösung

Mon, 18 Jan 2016 18:14:30 +0000

Hallo ugemt,

bitte nicht zwei sehr aenlichge wenn nicht gar ganz gleiche Alterntivloesungen gleichzeitig zur gleichen Aufgabe fragen!

Ansosnten Xwizard benutzen!

Viel Spass, Marvin (Tutor)

Beantwortet: Alternativlösung

Mon, 18 Jan 2016 18:11:25 +0000

Hallo ugemt,

soweit ich deine Loesung im Moment uerbblicke und unter Voraussetzung, dass die Definition an sich korrekt ist, sehe ich in der Turingmachine mit oben angegebnem $ \delta $ eine korrekte Alternativloesung.

Bitte bedenke jedoch, dass das Q&A System nicht dazu dient, dass alle Alternativloesungen ueberprueft werden. Dazu bitte den Xwizard benutzen!

Viel Spass,

Marvin (Tutor)

Beantwortet: Übergangszustand

Tue, 14 Jul 2015 06:34:34 +0000

Hallo,

hier ist es schon wichtig den Zustand zu wechseln. Wir wollen bei dieser Turingmaschine, die Anzahl der Einsen zählen. Wenn du den Zustand nicht ändern würdest sondern bei der Eingabe einer 1 im Zustand s_{0} in s_{0} verbleibst, kannst du nicht mehr sehen ob es eine gerade oder ungerade Anzahl von Einsen war die auf dem bisher gelesenen Band stand.

Es gibt hier ja nur 2 Möglichkeiten (nur bezogen auf die 1, da uns die 0 in diesem Fall nicht interessiert):

Gerade Anzahl von Einsen (0x1 zählt auch dazu) → du bist in s_{0}, da die Maschine bei der 2. eingegebenen 1 (zu diesem Zeitpunkt ist sie in s_{1} wieder in s_{0} springt. Kommst an einen "*", schreibst nichts, und springst in s_{2} der bis zum Anfang färhrt um anschließend in s_{e} zu wechseln und den Vorgang zu beenden.
Ungerade Anzahl von Einsen → du bist in s_{1}, kommst zu einem "*", schreibst eine 1 hinzu und wechselst zu s_{2} in dem wieder bis zum Anfang gefahren wird und in den Endzustand s_{e} gewechselt wird.

In beiden Fällen wird der Zustand nicht geändert wenn eine 0 kommt, da uns diese nicht interessiert.

Ich hoffe so wurde das ganze verständlicher ;)

Noch viel Erfolg beim Lernen!

Viele Grüße,

Marc (Tutor)

Beantwortet: Endzustand

Mon, 02 Feb 2015 22:52:38 +0000

Hallo,

ein Übergang der Form (s0,*) -> (se,0,N) ist zulässig, ebenso (s1,*) -> (se,1,N). s2 wird hier genutzt, um den Lesekopf wieder ganz nach Links zu bewegen. Da dies von der Aufgabenstellung nicht verlangt wird, ist es an sich auch nicht nötig.

Ob eine Lösung mit mehr Zuständen richtig ist, kann ich ohne selbige zu sehen schwer sagen. Prinzipiell muss eine Lösung aber nicht minimal sein.

Viele Grüße,

Julian (Tutor)

Geschlossen: Fehler in der Lösung beim zweiten Lösungsansatz?

Fri, 16 Jan 2015 07:38:33 +0000

Hallo,

bei dem zweiten Lösungsansatz scheint es mir, dass die TM nie in den Zustand s9 gelangt.

Nehmen wir das Wort, das auch als Bsp. genommen wurde: nne001

durch s5 bis s8 passiert ja folgendes: nne00e -> nn100e -> nn10ne -> n010ne -> n01nne -> 001nne

laut Lsg. soll jetzt ganz rechts auf ein * gestoßen werden, damit das kopieren beginnen kann, aber da kommt der Schreib/Lesekopf nicht hin, weil ja am Ende nur n und e stehen, die TM in Zustand s5 versetzen und wieder nach links schicken.

Meines Erachtens wird es dann so weitergehen: 00enne und dann würde er keine 1 mehr finden un beschließen, dass das Wort nicht zu akzeptieren ist, oder habe ich hier etwas falsch verstanden?

Außerdem wundere ich mich, dass bei s7 ein Übergang(s13,*,R) existiert, bei s6 aber nicht.

Bearbeitet: Überflüssiger Zustand $s_6$?

Wed, 07 Jan 2015 20:36:54 +0000

Eine Frage zur Aufgabe 74 (Turing) Band 1: ist der Zustand $s_6$ hier nicht vollkommen überflüssig? Er dient ja lediglich dazu, dass der LS-Kopf wieder auf dem linkesten Zeichen steht, dies ist zum Akzeptieren für die Endkonfiguration und laut Aufgabe aber doch gar nicht notwendig?!

Kommentar erneut angezeigt: Alternativer Lösungsvorschlag für TM

Mon, 01 Dec 2014 19:26:12 +0000

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?

Antwort ausgewählt: Verwenden von "*" statt "#" möglich ?

Fri, 28 Nov 2014 23:16:17 +0000

Hallo Lars,

deine Turingmaschine sieht soweit ganz gut aus. Es gibt nur ein Problem, wenn du ein Palindrom mit einer geraden Anzahl an Zeichen (z.B. aa) erkennen willst. In diesem Fall wechselt dein Automat nicht in den Endzustand über. Du müsstest hier noch im Zustand s0 einen Übergang in den Endzustand bei Eingabe einer Raute hinzufügen. Dann müsste es passen.

Viele Grüße

Lukas (Tutor)

Beantwortet: Alternativer Vorschlag: zusätzlicher Zustand anstatt Zeichens ?

Wed, 26 Nov 2014 13:31:35 +0000

Hallo,

auch bei dir sieht die Turing-Maschine gut aus. Denkt aber bitte beide daran, dass ihr voraussetzt, dass die Turing-Maschine auf dem äußerst linken Zeichen startet (was bei dieser Aufgabe durchaus in Ordnung ist).

Gruß

Philip (Tutor)