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

Beliebteste Tags

verständnis alternativlösung klausur kellerautomat endlicher-automat grammatik regulärer-ausdruck pumpinglemma turingmaschine tipp zahlendarstellung cmos klausurrelevant bonusklausur komplexität schaltwerk binary-decision-diagram deterministisch assembler schaltnetz minimierung sprachen nichtdeterministisch huffman chomsky-normalform fehler-in-aufgabe anwesenheitsübung rechtslinear heimübung flip-flop cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit huffman-kodierung hauptklausur vorlesungsfolien kontextfreie-sprache polynomialzeitreduktion faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten lambda mealy endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort ohne-lösungen betriebssystem speicherorganisation moore monotone-grammatik 2-komplement fehler reguläre-sprache hammingzahl monoton lösungsweg pumping-lemma-für-kontextfreie-sprachen kodierung berechenbarkeit pumping-lemma klausureinsicht disjunktive-normalform info-ii bussysteme rechnerarchitektur abzählbarkeit komplexitätsklassen ableitungsbaum vorlesungsaufzeichnung round-robin entscheidbarkeit minimierung-endlicher-automaten chomsky-klassen von-neumann-rechner binärzahl entscheidbar programmiersprachen aufzählbarkeit stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

0 Pluspunkte 0 Minuspunkte
402 Aufrufe

Hallo, 

wie schon bei einem anderen Foreneintrag festgestellt, handelt es sich bei dieser Turingmaschine um eine Turingmaschine mit Ausgabe. Ist es richtig, dass diese keinen festen Endzustand besitzt und nur dann endet, wenn kein Zustandsübergang für das gerade gelesene Zeichen und den Zustand vorhanden ist? 

Bei der Aufgabe muss die Konfigurationsfolge angegeben werden. Meine Frage zur Lösung: Fehlt nicht der letzte Schritt in der Konfigurationsfolge? Müsste da nicht noch stehen: |--- (a, s3, cd) (und erst dann gibt es keinen neuen Zustandsübergang?!) Vielen Dank für eure Hilfe!

LG

in Allgemeine Fragen von uvfaj uvfaj Lernwillige(r) (140 Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte
Hallo uvfaj,

Sowohl bei der Turingmaschine mit als auch ohne Ausgabe ist es so, dass die TM hält, wenn der Zustandsübergang nicht mehr definiert ist, wie du es sagst. Im Tutorium hatten wir meistens Aufgaben, in denen festgelegt war, so unsere TM stoppen soll, also mit einer neutralen Endposition. Sonst könnte es sein, dass sie in eine Endlosschleife gerät, falls wir falsch modellieren. Hier ist die TM aber so definiert, dass sie automatisch richtig hält, wenn für die aktuelle Eingabe und das aktuelle Zeichen kein Übergang definiert ist.

Nein, das stimmt so wie es in der Lösung ist. In der Konfiguration steht immer als erstes das, was links vom Schreib- Lesekopf steht, in der Mitte dein aktueller Zustand und rechts, das, worauf der SL-Kopf steht sowie alles rechts davon. Wenn du es mit der Zeile drüber vergleichst, siehst du ja links nur leere Felder und ab dem SL-Kopf ein Sternchen sowie abc. Im letzten Zustand ist links nichts, und unter dem SL-Kopf steht bereits dein a. Das muss also in die aktuelle Konfiguration mit rein.

Ich hoffe, ich konnte deine Frage beantworten, sonst melde dich nochmal.

Viele Grüße

Hannah (Tutorin)
von uneoo uneoo Eins-Komma-Null-Anwärter(in) (2.4k Punkte)  
Hauptklausur 2018 Aufgabe 4 Turingmaschine
Letzter Schritt der Konfigurationsfolge
...