Mercurial > 13ss.theoinf
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 36:1098749b5645 | 37:27fedbbdab6d |
|---|---|
| 209 | 209 |
| 210 \begin{block}{Idee (Potenzmengenkonstruktion)} | 210 \begin{block}{Idee (Potenzmengenkonstruktion)} |
| 211 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)$}. | 211 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)$}. |
| 212 | 212 |
| 213 \begin{itemize} | 213 \begin{itemize} |
| 214 \item $\overline{\delta}: \alert{P(Q)} \times \Sigma \mapsto P(Q)$ \\ | 214 \item $\overline{\delta}: \alert{P(Q)} \times \Sigma \to P(Q)$ \\ |
| 215 \[\overline{\delta}(S, a) := \bigcup_{q \in S} \delta(q, a)\] | 215 \[\overline{\delta}(S, a) := \bigcup_{q \in S} \delta(q, a)\] |
| 216 \item $F_M := \left\{S \subseteq Q \mid \alert{S \cap F} \neq \emptyset\right\}$ | 216 \item $F_M := \left\{S \subseteq Q \mid \alert{S \cap F} \neq \emptyset\right\}$ |
| 217 \end{itemize} | 217 \end{itemize} |
| 218 \end{block} | 218 \end{block} |
| 219 | 219 |