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
43 Aufrufe
Hallo,

mir ist leider auch nicht klar, warum der letzte Schritt fehlt. Denn für die Konfiguration (lamda, s3, acd) gibt es doch einen Übergang in der Tabelle: dann hätte man doch (a, s3, cd) . Erst jetzt gibt es doch keinen definierten Übergang mehr...?

Kann mir das nochmal jemand erklären?

Beste Grüße
bezieht sich auf eine Antwort auf: Hauptklausur 2018 Aufgabe 4 Turingmaschine
in Allgemeine Fragen von uuuah uuuah Lernwillige(r) (330 Punkte)  

1 Eine Antwort

0 Pluspunkte 0 Minuspunkte

Hallo, vielleicht hast du die Antwort auf die erneute Rückfrage schon gesehen, aber hier nochmal ein Zitat von vor 2 Jahren:

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.

Besonders der zweite Abschnitt ist als Antwort auf deine Frage relevant. Kurz gesagt haben wir keinen Übergang mehr, weil wir als nächstes im Zustand s3 das c einlesen würden. Dafür ist in der Tabelle kein Übergang definiert.

Hoffe das hilft!

LG,

Martin (Tutor)

von usifu usifu Eins-Komma-Null-Anwärter(in) (3.0k Punkte)  
...