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
129 Aufrufe

Hallo Hannah, 

das ist mir soweit klar. Danke!

Aber für den Zustand s3 und die Eingabe a ist ein Übergang definiert als (s3,a,R).

Woher weiß ich, dass ich aber schon bei (lambda, s3, acd) aufhören muss in meiner Konfigurationsfolge. Der nächste Übergang ist ja definiert, also dürfte die Turingmaschine doch noch nicht anhalten. Deswegen dachte ich, dass eben noch dieser eine Schritt hinzugefügt werden muss ...) |--- (lambda, s3,acd) |--- (a, s3,cd).

Erst dann gibt es für Zustand s3 und gelesenes Zeichen c keinen neuen Übergang mehr.

LG 

bezieht sich auf eine Antwort auf: Hauptklausur 2018 Aufgabe 4 Turingmaschine
in Allgemeine Fragen von uvfaj uvfaj Lernwillige(r) (140 Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte

Hallo uvfaj,

die Konfiguration ist kommt nicht erst nach der Transition, sonst ist ein ergänzendes Element, das zu dieser Zeile gehört. Z.B. stehen wir in Zeile 1 auf dem a. Unser Zustand ist s0 und das aktuell eingelesene Zeichen a. Die aktuelle Konfiguration dazu ist (lambda, s0, a). Danach gehen wir über in den Zustand sx. In der zweiten Zeile stehen wir dann immer noch über dem a, unsere Konfiguration sieht ähnlich aus, nur dass wir uns in einem anderen Zustand befinden. Sie bezieht sich quasi immer auf die linke Seite der Transition.

Wenn wir uns jetzt noch einmal die vorletzte Zeile anschauen, sehen wir, dass wir in s3 sind und ein a einlesen. Unsere aktuelle Konfiguration ist eben jene, die rechts steht, wie du richtig gesehen hast. Danach gehen wir zwar einen Schritt nach rechts und schreiben die aktuelle Bandinschrift auch in die ganz letzte Zeile Allerdings existiert hier keine Transition mehr, weil der aktuelle Zustand nicht definiert ist und daher existiert auch keine Konfiguration. Wie oben gesagt, bezieht sich die Konfiguration auf deinen Zustand & das aktuelle Zeichen, wenn dies nicht definiert ist gibt es auch keine Konfiguration mehr.

Ich hoffe, jetzt ist es ein bisschen klarer geworden.

Viele Grüße

Hannah (Tutorin)

von uneoo uneoo Eins-Komma-Null-Anwärter(in) (2.4k Punkte)  
...