--- a/notes/tex/ue07_notes.tex	Tue Jul 02 00:59:43 2013 +0200
+++ b/notes/tex/ue07_notes.tex	Tue Jul 02 14:16:16 2013 +0200
@@ -64,7 +64,7 @@
             \item endlichen Menge von \alert{Zuständen} $Q$
             \item endlichen \alert{Eingabealphabet} $\Sigma$
             \item endlichen \alert{Kelleralphabet} $\Gamma$
-            \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^*)$
             \item \alert{Startzustand} $q_0 \in Q$
             \item \alert{Kellerinitialisierung} $Z_0 \in \Gamma$
             \item Menge von \alert{Endzuständen} $F \subseteq Q$
@@ -88,7 +88,7 @@
     \begin{definition}[Kellerautomat]
         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}
 
@@ -110,7 +110,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}