Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten 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

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

Tue, 16 Mar 2021 11:25:44 +0000

Hallo uuiya,

auf den ersten Blick scheint deine Lösung auch richtig zu sein. Du hast sicherlich den intuitiveren Ansatz gewählt, brauchst dadurch eben auch einen Zustand mehr.

Was in der Musterlösung gemacht wird, ist einfach direkt beim ersten Durchlaufen des Bandes zu überschreiben. Wenn du beispielsweise als erstes eine 1 einliest, weißt du ja direkt, dass w ∉ L gilt. So spart man sich eben, die Funktionalität des Überschreibens separat zu regeln, wie es bei dir die Zustände S₄und S₅ machen :) Deine Lösung ist aber sicherlich leichter nachzuvollziehen, wenn jemand nur die Übergangstabelle hätte und versuchen würde zu verstehen, was die TM macht.

Beste Grüße,

Martin (Tutor)

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)

Beantwortet: Komplement von z.Bsp. 0000

Mon, 03 Feb 2020 13:01:29 +0000

0000 ist als Dezimalzahl eine Null.

Wie du hoffentliich weißt ist eine Null weder positiv noch negativ.

Das von links betrachtete erste Zeichen eines Zweier-Komplements dient lediglich der Klassifizierung als positiv/negativ.

Ob bei einer Null ein + oder - davor steht ist egal.

Somit ist 0000 als Zweier-Komplement Darstellung der Null (was die TM ausgibt) richtig.

Ändert man die Maschine nach deinem Vorschlag ergeben sich Fehler in anderen Fällen.

Grüße,

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

Beantwortet: Konfigurationsabfolge Turingmaschinen

Mon, 03 Feb 2020 09:39:40 +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)

Alternativlösung

Wed, 29 Jan 2020 08:46:34 +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?

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

Sat, 04 Jan 2020 15:52:32 +0000

Hallo uqysn,

leider liegt mir das Beispiel aus der Vorlesung aktuell nicht vor. Könntest du bitte zusätzlich noch die Aufgabenstellung und die Musterlösung schreiben? Dann schaue ich mir beide Lösungen gerne an.

Viele Grüße
Hannah (Tutorin)

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ß

Beantwortet: Leeres Wort bei Turing-Maschinen

Sun, 06 Jan 2019 16:18:34 +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.

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

Sat, 13 Jan 2018 17:09:11 +0000

Ich habe eine Lösung, bei der ich immer von Sternchen zu Sternchen gehe bis ich irgendwann nur noch Buchstaben E und N für 1 und 0en habe und dann im letzten Schritt diese durch die jeweiligen Ziffern ersetzte (allerdings bleibe ich hier am Schluss auf dem Zeichen ganz rechts stehen... Wäre diese Lösung auch korrekt?

(s0, 0) => (s1, N, R)
(s0, 1) => (s4, E, R)
(s0, *) => (s6, *, N)
(s1, 0) => (s1, 0, R)
(s1, 1) => (s1, 1, R)
(s1, *) => (s2, E, L)
(s1, N) => (s1, N, L)
(s1, E) => (s1, E, R)
(s2, 0) => (s2, O, L)
(s2, 1) => (s2, 1; L)
(s2, *) => (s3, *, R)
(s2, N) => (s2, N, L)
(s2, E) => (s2, E, L)
(s3, 0) => (s0, 0, N)
(s3, 1) => (so, 1, N)
(s3, *) => (s5, *, L)
(s3, N) => (s3, N, R)
(s3, E) => (s3, E, R)
(s4, 0) => (s4, 0,R)
(s4, 1) => (s4, 1, R)
(s4, *) => (s2, N, L)
(s5, *) => (s6, *, N)
(s5, N) => (s5, 0, R)
(s5, E) => (s5, 1, R)

Beantwortet: Frage zu A73, Übungsbuch Turingmaschine

Sun, 07 Jan 2018 12:43:01 +0000

Hey,

danke für die schnelle Antwort.

Auf Seite 27 steht z.B :"das R steht für der Lese/Schreibkopf bewegt sich eine Zelle nach rechts".

Was ich nicht ganz verstanden habe , ist was es bringt, wenn ich z.B, (s1,*,R) im Feld stehen habe - ich wechsel doch sowieso in den s1 Zustand- warum fährt die Turingmaschine dann nach rechts / Betrifft das dann den Folgezustand ?

Liebe Grüße und danke schonmal !

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.

Beantwortet: Konfigurationsfolge XWizard

Thu, 02 Feb 2017 14:38:25 +0000

Ja, der XWizard bricht normalerweise nach 100 Schritten ab. Sie können das mit der Variable runStepsScript steuern, wie ich das hier gemacht habe: http://www.xwizard.de:8080/Wizz?template=ID-22490

Beantwortet: Alternativlösung

Thu, 02 Feb 2017 11:36:18 +0000

Hallo,

ja, Ihre Lösung ist auch korrekt.

Beantwortet: Alternativlösung

Mon, 30 Jan 2017 14:43:46 +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: Alternativlösung

Sun, 29 Jan 2017 14:41:47 +0000

Hallo.

Ich weiß nicht ob du die Aufgabe ganz verstanden hast. Ich erkläre nochmal ganz kurz, was die Turingmaschine A können soll.
Das Wort 11001101010101 ist w 1100110 ist u, 1010101 ist v. |u| ist 7 und |v| ist auch 7. w hat also eine gerade Anzahl an Zeichen. Nun soll das Wort u nochmal hinten an uv geschrieben werden. Das Wort was rauskommen soll ist also 110011010101011100110. Das ist eine sehr komplexe Turingmaschine, wie du in der Lösung auch siehst. Deine Turingmaschine hat deutlich zu wenig Zustände um eine richtige Alternativlösung zu sein.

Außerdem ist deine Turingmaschine sehr schwer zu lesen.

Grüße, Felix(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)

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

Wed, 25 Jan 2017 12:55:31 +0000

Eine Turingmaschine kann ja auf dem Wort hin und herspringen, es sogar verändern usw. Daher würde so eine Forderung keinen Sinn machen. Eine Turingmaschine akzeptiert also ein Wort, wenn sie in einem akzeptierenden Endzustand hält - ohne weitere Auflagen.

Beantwortet: Alternative Lösung

Tue, 24 Jan 2017 22:35:14 +0000

Ja, sieht richtig aus.

Du musst nur noch A und B zu deinem Bandalphabet hinzufügen, also $B=\{ 0,1,*,A,B \}$

Viele Grüße

Philipp (Tutor)

Beantwortet: Allgemeine Frage

Wed, 11 Jan 2017 12:44:05 +0000

Zur ersten Frage gilt ganz klar, dass Sie die Tabelle erweitern dürfen, wenn Sie das wollen. Wir würden aber nicht zu wenige Zeilen/Spalten für eine Minimalversion vorgeben - Sie DÜRFEN das also tun, aber nötig sein sollte es nicht. Sie müssen normalerweise nicht die Minimalversion angeben, sodass es auch mit so einer erweiterten Tabelle durchaus die volle Punktzahl geben kann.

Und was meinen Sie mit der "formalen Beschreibung"? Die ganze Definition einer Turingmaschine (mit Tabelle und allem) ist eine formale Beschreibung. Für Teile davon kann es auch Teilpunkte geben (allerdings nicht in der Bonusklausur, wo wir jede Aufgabe komplett als "richtig" oder "falsch" bewerten).

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)

Beantwortet: Wann muss man das Wort wiederherstellen, wann darf man es löschen.

Fri, 12 Feb 2016 20:01:59 +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ändnisfrage 2-Komplement

Wed, 10 Feb 2016 22:59:43 +0000

Hallo uidmb!

Meiner Meinung nach ist hier die Aufgabenstellung sehr unglücklich bzw. missverständlich formuliert. Mit w' ist meiner Meinung nach nicht die Zwei-Komplentdarstellung von w, sondern das Zwei-Komplement zu w gemeint.

Das Zwei-Komplement berechnet sich wie folgt (mit w und w' in der Formel als Dezimalzahlen interpretiert) :

w' = 2^n - w

Beispiel: Auf deinem Band steht w= 00111 (binär), das entspricht dem dezimalen Zahlenwert 7 (=1+2+4). Das Zweikomplement dazu erhälst du rechnerisch aus w' = 2^5 - 7 = 25, was binär der Zahl 11001 entspricht. Diese erzeugst du über das in der Musterlösung genannte Vorgehen, indem du zunächst alle Bits auf dem Band kippst (dann erhälst du 11000) und dann noch 1 dazuaddierst (so kommst du zum Endergebnis 11001, was gerade 25 ist (=1+8+16)).

Ich hoffe, das hilft dir weiter

Viele Grüße,
Janine (Tutorin)

Beantwortet: Falsche Ansichtsweise?

Tue, 09 Feb 2016 11:47:58 +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)

Beantwortet: Zustandsänderung

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

Hallo unegn,

siehe Kommentar!

Beantwortet: Alternativer Lösungsvorschlag

Sun, 07 Feb 2016 21:39:57 +0000

Hallo,

das was nicht stimmt bei deiner Turingmaschine ist, dass du den Bitstring 0000 bspw. nicht verändern sollst, da 0000 beim zweierkomplement immer noch 0000 ist.

Deine Turingmaschine würde daraus ein 10000 machen, was nicht korrekt ist ;)

Viele Grüße,

Marc (Tutor)

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)

Beantwortet: Alternative Lösung? XWizard nicht erreichbar

Thu, 04 Feb 2016 17:23:19 +0000

Hallo,

also so weit ich das erkennen kann ist das auch eine fast richtige Lösung ;) Das einzige Problem was deine Turingmaschine hat ist dass sie sich nicht merkt wo der Anfang war, nehmen wir an du willst das Wort 001 einlesen, heißt zum Schluss sollte 001110 da stehen. Dann kommt deine Turingmaschine bis zu diesem Punkt, allerdings hört sie dann nicht auf sondern geht weil zu diesem Zeitpunkt 00E110 steht zurück bis zum linkesten *, anschließend bis zum E und dann wandelt sie die nächste 1 in ein E um, bedeutet sie macht immer weiter und kommt nie in einen Endzustand außer das Wort ist das leere Wort von Beginn an, also man startet mit einem * ;)

Ich hoffe du kannst nachvollziehen was ich sagen möchte ^^

Viele Grüße,

Marc (Tutor)

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)

Beantwortet: Überflüssiger Zustand $s_6$?

Mon, 05 Jan 2015 18:47:01 +0000

Sie haben recht, dass das Zurückwandern nur Kosmetik ist und laut Aufgabenstellung nicht notwendig. Man könnte den Zustand $s_6$ auch einfach $s_e$ nennen und die entsprechenden Zellen leerlassen.

Übrigens können Sie auch immer davon ausgehen, dass der Schreib-/Lesekopf zu Beginn über dem linkesten Zeichen steht. Sie müssen also am Anfang der Rechnung nicht erst ganz nach links wandern.

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)

Beantwortet: Alternativer Vorschlag: von links anfangen?

Wed, 26 Nov 2014 13:28:58 +0000

Hallo Tanja,

ich kann keinen Einwand gegen deine Lösung finden. Das müsste so klappen. Nicht schlecht!

Gruß

Lukas (Tutor)

Beantwortet: Alternativer Lösungsvorschlag

Wed, 26 Nov 2014 13:25:38 +0000

Ja, aber dieses Verständnis der Turing-Maschine ist, glaube ich, falsch. Im Anhang findest du eine Skizze dazu, was meiner Ansicht nach die Turing-Maschine machen soll.

Viele Grüße

Christiane (Tutor)

Beantwortet: Funktion von Zuständen sa, sb und sc

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

Hallo,

du hast glaub ich etwas missverstanden, was die Turingmaschine tun soll. Deinen Beschreibungen entnehme ich, dass du das ganze Wort komplett nochmal vor das Wort schreiben willst. Das ist hier aber gar nicht gefordert. Die TM soll das Wort lediglich um ein Zeichen nach links verschieben. Die Zustände sa, sb, sc "speichern" nur ab, welcher Buchstabe an die nächste Stelle (links) geschrieben werden soll. Wenn wir in Zustand sa sind, schreibt die TM an die nächste Stelle auf jeden Fall ein a und geht je nachdem, was sie auf dem Band liest in Zustand sa (a gelesen), sb (b gelesen), sc (c gelesen), sE (* gelesen) über. Genauso bei den Zuständen sb und sc.

Viele Grüße,

Christiane (Tutor)

Beantwortet: Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum

Wed, 26 Nov 2014 13:15:52 +0000

Funktioniert der hier? Danke!