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 turingmaschine pumpinglemma tipp zahlendarstellung cmos bonusklausur klausurrelevant 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 huffman-kodierung cocke-younger-kasami-algorithmus kontextsensitive-grammatik kontextfreie-grammatik fehlererkennbarkeit hauptklausur vorlesungsfolien polynomialzeitreduktion kontextfreie-sprache faq gleitkommazahl fehlerkorrigierbarkeit rechtslineare-grammatik dateiorganisation cache darstellung-klausur nachklausur xwizard adressierungsarten mealy lambda endliche-automaten konjunktive-normalform pipelining zustände saalübung leeres-wort moore ohne-lösungen betriebssystem speicherorganisation monotone-grammatik 2-komplement hammingzahl lösungsweg fehler pumping-lemma-für-kontextfreie-sprachen pumping-lemma reguläre-sprache monoton kodierung berechenbarkeit klausureinsicht disjunktive-normalform abzählbarkeit info-ii bussysteme rechnerarchitektur entscheidbarkeit komplexitätsklassen chomsky-klassen ableitungsbaum vorlesungsaufzeichnung round-robin aufzählbarkeit minimierung-endlicher-automaten von-neumann-rechner binärzahl entscheidbar programmiersprachen stern-symbol automaten schaltnetze-und-schaltwerke nukit-fragen bewertung zugriffsarten umformung adressierung mengen binär-subtrahieren

Kategorien

3 Pluspunkte 0 Minuspunkte
254 Aufrufe

Wir sind gerade auf einen Fehler im Lehrbuch Theoretische Informatik - ganz praktisch aufmerksam gemacht worden (vielen Dank dafür an einen Ihrer Kommilitonen), der sehr ärgerlich ist! Es handelt sich nur um ein fehlendes "nicht", aber genau dieses könnte im schlimmsten Fall zu einem falschen Verständnis führen.

Es geht um das Beispiel 2.8 zur Automatenminimierung. Dort wird auf Seite 81 behauptet, dass in Zyklus 0 "alle 0-äquivalenten Zustandspaare" markiert werden müssten. Das ist falsch!! Es müssen natürlich (!) "alle nicht 0-äquivalenten Zustandspaare" markiert werden.

Dieser Fehler tritt nur dort auf, an den vielen anderen Stellen ist es korrekt formuliert - und Sie wissen ja auch aus der Vorlesung, wie es richtig ist. Trotzdem ärgern wir uns über diesen Fehler und bitten Sie, sich nicht dadurch verwirren zu lassen! Bei der Minimierung geht es immer darum, nicht-äquivalente Zustandspaare zu finden. Erst zum Schluss nimmt man den ganzen Rest und leitet daraus die äquivalenten Zustände ab.

Vielen Dank an den Studierenden, der Prof. Schmeck heute nach der Vorlesung darauf aufmerksam gemacht hat!

Alle bekannten Fehler aus den Übungsbüchern und dem Lehrbuch werden übrigens auf der Errata-Seite gelistet.

in Kapitel 2 von Dozent (10.1m Punkte)  
Bearbeitet von

Ihre Antwort

Ihr anzuzeigender Name (optional):
Datenschutzhinweis: Ihre E-Mail-Adresse wird ausschließlich benutzt, um Ihnen Benachrichtigungen zu schicken. Es gilt die Datenschutzerklärung.
Anti-Spam-Abfrage (Captcha):
Bitte loggen Sie ein oder registrieren sich, um diese Abfrage (Captcha) zu vermeiden.
...