Mercurial > 13ss.theoinf
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}