Mercurial > 13ss.theoinf
comparison notes/tex/automatons.tex @ 42:35e8bb96da7b
use beamer templates to define units; missing slide added
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Thu, 11 Jul 2013 21:25:21 +0200 |
| parents | 5d10471f5585 |
| children | c14b92bfa07f |
comparison
equal
deleted
inserted
replaced
| 41:5d10471f5585 | 42:35e8bb96da7b |
|---|---|
| 1 \defineUnit{alphabet}{% | |
| 2 \begin{frame} | |
| 3 \frametitle{Alphabet} | |
| 4 | |
| 5 \begin{definition} | |
| 6 \begin{itemize} | |
| 7 \item Ein \alert{Alphabet} $\Sigma$ ist eine endliche Menge. | |
| 8 \item Ein \alert{Wort} über $\Sigma$ ist eine endliche Folge von Zeichen. | |
| 9 \item Eine Teilmenge $L \subseteq \Sigma^*$ ist eine \alert{formale Sprache} | |
| 10 \end{itemize} | |
| 11 \end{definition} | |
| 12 | |
| 13 \vfill | |
| 14 | |
| 15 \begin{definition}[Operationen auf Sprachen] | |
| 16 \begin{itemize} | |
| 17 \item $\alert{AB} = \left\{ uv \mid u \in A \wedge v \in B \right\}$ | |
| 18 \item $\alert{A^n} = \left\{w_1 \ldots w_n \mid w_1 \ldots w_n \in A \right\}$,\qquad $A^0 = \{\epsilon\}$ | |
| 19 \item $\alert{A^*} = \bigcup_{n \in \N_0} A^n$ | |
| 20 \end{itemize} | |
| 21 \end{definition} | |
| 22 \end{frame} | |
| 23 } | |
| 24 | |
| 1 \defineUnit{dfa}{% | 25 \defineUnit{dfa}{% |
| 2 \begin{frame} | 26 \begin{frame} |
| 3 \frametitle{DFA} | 27 \frametitle{DFA} |
| 4 | 28 |
| 5 \begin{definition}[Deterministischer endlicher Automat] | 29 \begin{definition}[Deterministischer endlicher Automat] |