--- a/notes/tex/ue08_notes.tex	Tue Jul 02 00:59:43 2013 +0200
+++ b/notes/tex/ue08_notes.tex	Tue Jul 02 14:16:16 2013 +0200
@@ -18,7 +18,7 @@
         Ein \alert{PDA} (Push-Down-Automaton) ist ein Tupel $P = (Q, \Sigma, \Gamma, \delta, q_0, Z_0, F)$ aus einer/einem
         \begin{itemize}
 
-            \item \alert{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \times \Gamma \mapsto P(Q \times \Gamma^*)$
+            \item \alert{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \times \Gamma \to P(Q \times \Gamma^*)$
         \end{itemize}
     \end{definition}
 
@@ -55,7 +55,7 @@
             \item endlichen Menge von \alert{Zuständen} $Q$
             \item endlichen \alert{Eingabealphabet} $\Sigma$
             \item endlichen \alert{Bandalphabet} $\Gamma$ mit $\Sigma \subset \Gamma$
-            \item \alert{Übergangsfunktion} $\delta : Q \times \Gamma \mapsto Q \times \Gamma \times \left\{ L, R, N \right\}$
+            \item \alert{Übergangsfunktion} $\delta : Q \times \Gamma \to Q \times \Gamma \times \left\{ L, R, N \right\}$
             \item \alert{Startzustand} $q_0 \in Q$
             \item \alert{Leerzeichen} $\square \in \Gamma \setminus \Sigma$
             \item Menge von \alert{Endzuständen} $F \subseteq Q$
@@ -70,7 +70,7 @@
     \begin{definition}[Turingmaschine]
         Eine deterministische \alert{Turingmaschine (TM)} ist ein Tupel $M = (Q, \Sigma, \Gamma, \delta, q_0, \square, F)$ aus einer/einem
         \begin{itemize}
-            \item \alert{Übergangsfunktion} $\delta : Q \times \Gamma \mapsto Q \times \Gamma \times \left\{ L, R, N \right\}$
+            \item \alert{Übergangsfunktion} $\delta : Q \times \Gamma \to Q \times \Gamma \times \left\{ L, R, N \right\}$
         \end{itemize}
     \end{definition}
 
@@ -169,7 +169,7 @@
         Eine \alert{nichtdeterministische} Turingmaschine (TM) ist ein Tupel $M = (Q, \Sigma, \Gamma, \delta, q_0, \square, F)$ aus einer/einem
         \begin{itemize}
             \item \ldots
-            \item \alert{Übergangsfunktion} $\delta : Q \times \Gamma \mapsto \mathcal{P} \left( Q \times \Gamma \times \left\{ L, R, N \right\} \right)$
+            \item \alert{Übergangsfunktion} $\delta : Q \times \Gamma \to \mathcal{P} \left( Q \times \Gamma \times \left\{ L, R, N \right\} \right)$
             \item \ldots
         \end{itemize}
     \end{definition}