Falsche Formulierung in Lehrbuch (WICHTIG - klausurrelevant auch für die Bonusklausur!)

Question

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.