diff notes/tex/ue02_notes.tex @ 37:27fedbbdab6d

change mapsto to to arrows
author Markus Kaiser <markus.kaiser@in.tum.de>
date Tue, 02 Jul 2013 14:16:16 +0200
parents 90ffda7e20c7
children 15351d87ce76
line wrap: on
line diff
--- a/notes/tex/ue02_notes.tex	Tue Jul 02 00:59:43 2013 +0200
+++ b/notes/tex/ue02_notes.tex	Tue Jul 02 14:16:16 2013 +0200
@@ -211,7 +211,7 @@
         Konstruiere aus einem NFA $N = (Q, \Sigma, \delta, q_0, F)$ einen DFA $D = (P(Q), \Sigma, \overline{\delta}, \{q_0\}, F_M)$ mit Zuständen aus \alert{$P(Q)$}.
 
         \begin{itemize}
-            \item $\overline{\delta}: \alert{P(Q)} \times \Sigma \mapsto P(Q)$ \\
+            \item $\overline{\delta}: \alert{P(Q)} \times \Sigma \to P(Q)$ \\
                 \[\overline{\delta}(S, a) := \bigcup_{q \in S} \delta(q, a)\]
             \item $F_M := \left\{S \subseteq Q \mid \alert{S \cap F} \neq \emptyset\right\}$
         \end{itemize}