Korrekturliste zum Skriptum "Automatentheorie und Logik" vom 10.10.2000

   (Stand: 3.5.2002)

----

S.13 Zeile -6:  Einfachstes  -->  Einfaches.

S.14 Mitte:  ... entspricht (ababa,0,2)  -->  ... emtspricht (ababa,2,0).

S.15 Z.-3:  "uber  -->  "Uber.

S.20 Z.-11,-10:  (3c) und (3d)  statt  (3a) und (3b).

S.21 Z.10:  X_1(3)  statt  Q_1(3).

S.25 Z.-14:  ersetze durch " ... gew"ahlt wird, vom Duplikator
     beantwortet werden kann, und zwar laut (0) so, dass "`in
     der nächsten Runde"' ... ".
     Z.-8:  I_2 ist f"ur das Beispiel inkorrekt.

S.32 Z.10:  \equiv  -->  \equiv_L.

S.35 Z.-4:  3.3.8  -->  3.3.9.

S.43 Bild ganz oben:  Es muss nachgeprüft werden, ob dies korrekt ist.

S.69 Bild:  Inkorrekt.

S.71 Bild:  Es muss nachgeprüft werden, ob dies korrekt ist.