KAPITEL 1

Folie 34:
Startsymbol: S -> \mathcal{S}, und \mathcal{S} muss auch in N sein

KAPITEL 2

Folie 110 (im Skript: S. 47, Algorithmus Minimalautomat):
\item[Eingabe:] DFA $M = (\Sigma, Z, \delta , z_0, F)$. =>
\item[Eingabe:] DFA $M = (\Sigma, Z, \delta , z_0, F)$ mit totaler
  "Uberf"uhrungsfunktion (d.h., $\delta(z,a)$ ist für alle $z \in Z$
  und $a \in \Sigma$ definiert).


KAPITEL 3

Folie 17 (im Skript: S. 55, erster Schritt im CNF-Algorithmus):
Alle anderen Regeln sind von der Form: =>
Betrachte im Folgenden nur noch die restlichen Regeln; diese
sind von der Form:

Folie 30 (im Skript: S. 58, erster Satz im Beweis des Pumping-Lemmas):
Es Sei L eine kontextfreie Sprache. =>
Es sei L eine kontextfreie Sprache.

Folie 36 (im Skript: Abbildung 3.2 auf S. 60):
In der Figure pl-kf.tex geaendert:
$A \vdash w$ => $A \vdash^* w$
$A \vdash vAx$ => $A \vdash^* vAx$
$S \vdash uAy$ => $S \vdash^* uAy$

Folie 43 (im Skript: S. 61):
Da $|vx| \geq 1$ ist $|u v^{p+1} w x^{p+1} y|$ keine Primzahl =>
Da $|vx| \geq 1$, ist $|u v^{p+1} w x^{p+1} y|$ keine Primzahl

Folie 46 (im Skript: S. 65, Anfang des Beweises von Satz 3.35),
hinzugefuegt:
Im Folgenden sei $S \not\in  N_1 \cup N_2$ ein neues Nichtterminal.

KAPITEL 6

Folie 4 (im Skript: S. 111, ueber Def. 6.1):
eine Bijektion zwischen $\nats$ und $\{0,1\}^{\ast}$ =>
eine Injektion zwischen $\nats$ und $\{0,1\}^{\ast}$ 

Folie 6 (im Skript: S. 112 oben):
ist total (und partiell), da $\mbox{D}_f=\nats$ =>
ist total (und partiell), da $\mbox{D}_{f_1}=\nats$
und
ist nicht-total (und partiell),
da $\mbox{D}_f=\nats^2-\{(n,0)~|~n\in \nats\}$ =>
ist nicht-total (und partiell),
da $\mbox{D}_{f_2}=\nats^2-\{(n,0)~|~n\in \nats\}$

Folie 17 (im Skript: S. 114, nach " Die Menge $\mathbb{R}$ der reellen
Zahlen ist "uberabz"ahlbar.") hinzugefuegt:
  Genauso ist die Menge $[0,1)$ der reellen Zahlen im Intervall von $0$
    bis $1$ "uberabz"ahlbar.
Darunter:
Sind $r$ und $r'$ Zahlen in $\mathbb{R}$ mit $r \neq r'$ =>
Sind $r$ und $r'$ reelle Zahlen in $[0,1)$ mit $r \neq r'$

KAPITEL 8

Folie 12 (im Skript: S. 124, in Definition 8.6) hinzugefuegt:
\item Falls $P_1$ und $P_2$ WHILE-Programme sind, so ist auch $P_1;
  P_2$ ein WHILE-Programm.

KAPITEL 9

Folie 7 (im Skript S. 131 ok):
wobei $f'(a,b,c)=add(\id_2^3(a,b,c),\id_3^3(a,b,c))$ =>
wobei $f'(a,b,c)=\add{\id_2^3(a,b,c)}{\id_3^3(a,b,c)}$

Folie 38 (im Skript S. 138 ok):
Der Beweis von Satz~\ref{thm:primrek-allgrek-partrek} =>
Der Beweis
% von Satz~\ref{thm:primrek-allgrek-partrek}

KAPITEL 10

Folien 52, 53, 64 (im Skript S. 152 und 155):
D_i => \mbox{D}_i

KAPITEL 13

Folie 16 (Abbildung; im Skript Abbildung 13.3 auf S. 193 ok;
Datei num-tm.tex in PICTURES):
\draw(9.1,-0.6) node [anchor=south] {$x_2$}; =>
\draw(9.1,-0.6) node [anchor=south] {$x_n$};