Thema "Errata (Korrekturen)"

In diesem Thread wird auf Fehler sowie Un- oder Missverständliches aus dem Lehrbuch Theoretische Informatik - ganz praktisch und den Übungsbüchern 2 x 100 Aufgaben zu Grundlagen der Informatik (bzw. den entsprechenden online verfügbaren eBook/PDF-Versionen dieser Bücher) hingewiesen. Falls Korrekturen nötig sind, werden diese an den Online-Versionen zeitnah durchgeführt (für die Buchversionen muss leider die jeweils nächste Auflage abgewartet werden).

Bitte erstellen Sie keine Einträge in diesem Thread! (Falls Sie Fehler finden, können Sie in den jeweiligen Aufgaben- oder Kapitel-Kategorien des Forums darauf hinweisen.)

• Theoretische Informatik - ganz praktisch, Seite 127, oberes Drittel: von der Zustandsmenge \(\{s_4, s_6\}\) geht es über \(b\) nach \(\{s_1, s_4\}\) (und nicht nach \(\{s_1, s_6\}\)). Der Rest stimmt dann (und nur dann!).
• Übungsbuch Band I, Seite 105 (Lösung zu END-AW):
  
  In der Definition zu \(A'\) sollte die Zustandsmenge \(\{s_0, \ldots, s_8\}\) lauten und nicht bei \(s_5\) beginnen. Entsprechend ist auch der Anfangszustand \(s_0\) und die Menge der Endzustände \(\{s_4, s_5, s_7\}\).
• Übungsbuch Band I, Seite 128 (Lösung zu KEL-AA):
  
  Nicht: \((s_2,\lambda,k_0) \rightarrow (s_3,b)\)
  Sondern: \((s_2,\lambda,k_0) \rightarrow (s_3,bk_0)\)
  
• Übungsbuch Band I, Seite 102 (Lösung zu END-AN, a): Die neuen Zustandsnamen des deterministischen EA sollten in der Tabelle nicht in {geschweiften Klammern} stehen.
• Übungsbuch Band I, Seiten 144/145 (Lösung zu PUM-AD): Strenggenommen kein Fehler, aber dort ist von einer oder zwei Einsen die Rede, was aber laut vorheriger Argumentation gar nicht möglich ist, da \(vwx\) höchstens eine Eins enthält. Eine Ungenauigkeit, von der Sie sich nicht verwirren lassen sollten.

• Übungsbuch Band II, Seite 83 (Einführung zu Kapitel Programmierung):
  
  Die Maschinenbefehle LOAD und STORE sind genau verkehrt herum definiert. Korrekt wäre

  • LOAD \(x\): Lädt den durch den Operanden \(x\) spezifizierten Inhalt nach Acc.

  • STORE \(x\): Speichert den Inhalt von Acc an der durch den Operanden \(x\) spezifizierten Adresse.

• Übungsbuch Band II, Seite 125 (Lösung zu CMO-AI):
  
  Es fehlt eine Leitung vom Eingang a zum NMOS-Teil.

• Theoretische Informatik - ganz praktisch, Seite 81, oberes Drittel, ab "Zyklus 0": Dort steht, dass in Zyklus 0
  "alle 0-äquivalenten Zustandspaare" markiert werden. Das ist falsch! Es müsste natürlich
  "alle nicht 0-äquivalenten Zustandspaare" heißen, wie es an allen anderen Stellen auch korrekt heißt. Bitte lassen Sie sich durch diesen ärgerlichen Fehler nicht verwirren!
  
• Übungsbuch Band I, Seite 80 (Einführung zu Kapitel Berechenbarkeits- und Komplexitätstheorie):
  
  \(EXPTIME\) und \(EXPSPACE\) sind falsch definiert. Statt \(k^n\) müsste in der Klammer jeweils \(2^{n^k}\) stehen. Dann ist auch \(EXPTIME\) nur über \(DTIME\) definiert, und in diesem Fall ist nicht bekannt, ob die entsprechende nichtdeterministische Variante \(\bigcup_{k \in \mathbb{N}} {NTime}\left(2^{n^k}\right)\) gleich mächtig ist.

• Lehrbuch Theoretische Informatik - ganz praktisch, Seite 24 (Deterministische Automaten), ganz oben:
  
  Es fehlt das Wort Berechenbarkeitshierarchie. Es sollte also heißen: "Die dabei entstehende Berechenbarkeitshierarchie liefert also ein wichtiges Hilfsmittel bei der Auswahl benötigter Werkzeuge zur Lösung eines gegebenen realen Problems."