--- a/notes/tex/ue01_notes.tex	Tue Jul 02 00:59:43 2013 +0200
+++ b/notes/tex/ue01_notes.tex	Tue Jul 02 14:16:16 2013 +0200
@@ -96,7 +96,7 @@
         \begin{itemize}
             \item endlichen Menge von \alert{Zuständen} $Q$
             \item endlichen \alert{Eingabealphabet} $\Sigma$
-            \item totalen \alert{Übergangsfunktion} $\delta : Q \times \Sigma \mapsto Q$
+            \item totalen \alert{Übergangsfunktion} $\delta : Q \times \Sigma \to Q$
             \item \alert{Startzustand} $q_0 \in Q$
             \item Menge von \alert{Endzuständen} $F \subseteq Q$
         \end{itemize}
@@ -127,7 +127,7 @@
         Ein \alert{NFA} ist ein Tupel $N = (Q, \Sigma, \delta, q_0, F)$ mit
         \begin{itemize}
             \item $Q, \Sigma, q_0, F$ wie ein DFA
-            \item \alert{Übergangsfunktion} $\delta : Q \times \Sigma \mapsto P(Q)$
+            \item \alert{Übergangsfunktion} $\delta : Q \times \Sigma \to P(Q)$
         \end{itemize}
     \end{definition}
 
@@ -151,7 +151,7 @@
         Ein \alert{$\epsilon$-NFA} ist ein Tupel $N = (Q, \Sigma, \delta, q_0, F)$ mit
         \begin{itemize}
             \item $Q, \Sigma, q_0, F$ wie ein DFA
-            \item \alert{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \mapsto P(Q)$
+            \item \alert{Übergangsfunktion} $\delta : Q \times \left( \Sigma \cup \{\epsilon\} \right) \to P(Q)$
         \end{itemize}
     \end{definition}
 
@@ -178,9 +178,9 @@
         Die Automaten $A = (Q, \Sigma, \delta, q_0, F)$ unterscheiden sich nur durch ihre Übergangsfunktionen.
 
         \begin{description}
-            \item[DFA] $\delta : Q \times \Sigma \mapsto Q$
-            \item[NFA] $\delta : Q \times \Sigma \mapsto \alert{P(Q)}$
-            \item[$\epsilon$-NFA] $\delta : Q \times \alert{\left( \Sigma \cup \{\epsilon\} \right)} \mapsto \alert{P(Q)}$
+            \item[DFA] $\delta : Q \times \Sigma \to Q$
+            \item[NFA] $\delta : Q \times \Sigma \to \alert{P(Q)}$
+            \item[$\epsilon$-NFA] $\delta : Q \times \alert{\left( \Sigma \cup \{\epsilon\} \right)} \to \alert{P(Q)}$
         \end{description}
     \end{block}