Mercurial > 13ss.theoinf
comparison notes/tex/frames.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 | 67f995b2c412 |
comparison
equal
deleted
inserted
replaced
| 41:5d10471f5585 | 42:35e8bb96da7b |
|---|---|
| 1 \newcommand{\defineUnit}[2]{\expandafter\newcommand\csname theoDefine#1\endcsname{#2}} | 1 \newcommand{\defineUnit}[2]{\setbeamertemplate{slide #1}{{#2}}} |
| 2 \newcommand{\showUnit}[1]{\csname theoDefine#1\endcsname} | 2 \newcommand{\showUnit}[1]{\usebeamertemplate{slide #1}} |
| 3 | 3 |
| 4 \defineUnit{organisatorisch}{% | 4 \defineUnit{titel}{% |
| 5 \begin{frame} | |
| 6 \titlepage | |
| 7 \end{frame} | |
| 8 } | |
| 9 | |
| 10 \defineUnit{organisatorisches}{% | |
| 5 \begin{frame} | 11 \begin{frame} |
| 6 \frametitle{Organisatorisches} | 12 \frametitle{Organisatorisches} |
| 7 | 13 |
| 8 \begin{itemize} | 14 \begin{itemize} |
| 9 \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org} | 15 \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org} |
| 59 \end{itemize} | 65 \end{itemize} |
| 60 \end{itemize} | 66 \end{itemize} |
| 61 \end{frame} | 67 \end{frame} |
| 62 } | 68 } |
| 63 | 69 |
| 64 \defineUnit{alphabet}{% | |
| 65 \begin{frame} | |
| 66 \frametitle{Alphabet} | |
| 67 | |
| 68 \begin{definition} | |
| 69 \begin{itemize} | |
| 70 \item Ein \alert{Alphabet} $\Sigma$ ist eine endliche Menge. | |
| 71 \item Ein \alert{Wort} über $\Sigma$ ist eine endliche Folge von Zeichen. | |
| 72 \item Eine Teilmenge $L \subseteq \Sigma^*$ ist eine \alert{formale Sprache} | |
| 73 \end{itemize} | |
| 74 \end{definition} | |
| 75 | |
| 76 \vfill | |
| 77 | |
| 78 \begin{definition}[Operationen auf Sprachen] | |
| 79 \begin{itemize} | |
| 80 \item $\alert{AB} = \left\{ uv \mid u \in A \wedge v \in B \right\}$ | |
| 81 \item $\alert{A^n} = \left\{w_1 \ldots w_n \mid w_1 \ldots w_n \in A \right\}$,\qquad $A^0 = \{\epsilon\}$ | |
| 82 \item $\alert{A^*} = \bigcup_{n \in \N_0} A^n$ | |
| 83 \end{itemize} | |
| 84 \end{definition} | |
| 85 \end{frame} | |
| 86 } | |
| 87 | |
| 88 \input{automatons.tex} | 70 \input{automatons.tex} |
| 89 \input{grammars.tex} | 71 \input{grammars.tex} |
| 90 \input{computation.tex} | 72 \input{computation.tex} |