# HG changeset patch # User Markus Kaiser # Date 1373570721 -7200 # Node ID 35e8bb96da7bfe820a69a42cdd06136e4b9eb2bf # Parent 5d10471f55858ec2dbf592e98fa00ba9783a4f7e use beamer templates to define units; missing slide added diff -r 5d10471f5585 -r 35e8bb96da7b notes/tex/automatons.tex --- a/notes/tex/automatons.tex Thu Jul 11 20:42:36 2013 +0200 +++ b/notes/tex/automatons.tex Thu Jul 11 21:25:21 2013 +0200 @@ -1,3 +1,27 @@ +\defineUnit{alphabet}{% +\begin{frame} + \frametitle{Alphabet} + + \begin{definition} + \begin{itemize} + \item Ein \alert{Alphabet} $\Sigma$ ist eine endliche Menge. + \item Ein \alert{Wort} über $\Sigma$ ist eine endliche Folge von Zeichen. + \item Eine Teilmenge $L \subseteq \Sigma^*$ ist eine \alert{formale Sprache} + \end{itemize} + \end{definition} + + \vfill + + \begin{definition}[Operationen auf Sprachen] + \begin{itemize} + \item $\alert{AB} = \left\{ uv \mid u \in A \wedge v \in B \right\}$ + \item $\alert{A^n} = \left\{w_1 \ldots w_n \mid w_1 \ldots w_n \in A \right\}$,\qquad $A^0 = \{\epsilon\}$ + \item $\alert{A^*} = \bigcup_{n \in \N_0} A^n$ + \end{itemize} + \end{definition} +\end{frame} +} + \defineUnit{dfa}{% \begin{frame} \frametitle{DFA} diff -r 5d10471f5585 -r 35e8bb96da7b notes/tex/frames.tex --- a/notes/tex/frames.tex Thu Jul 11 20:42:36 2013 +0200 +++ b/notes/tex/frames.tex Thu Jul 11 21:25:21 2013 +0200 @@ -1,7 +1,13 @@ -\newcommand{\defineUnit}[2]{\expandafter\newcommand\csname theoDefine#1\endcsname{#2}} -\newcommand{\showUnit}[1]{\csname theoDefine#1\endcsname} +\newcommand{\defineUnit}[2]{\setbeamertemplate{slide #1}{{#2}}} +\newcommand{\showUnit}[1]{\usebeamertemplate{slide #1}} -\defineUnit{organisatorisch}{% +\defineUnit{titel}{% +\begin{frame} + \titlepage +\end{frame} +} + +\defineUnit{organisatorisches}{% \begin{frame} \frametitle{Organisatorisches} @@ -61,30 +67,6 @@ \end{frame} } -\defineUnit{alphabet}{% -\begin{frame} - \frametitle{Alphabet} - - \begin{definition} - \begin{itemize} - \item Ein \alert{Alphabet} $\Sigma$ ist eine endliche Menge. - \item Ein \alert{Wort} über $\Sigma$ ist eine endliche Folge von Zeichen. - \item Eine Teilmenge $L \subseteq \Sigma^*$ ist eine \alert{formale Sprache} - \end{itemize} - \end{definition} - - \vfill - - \begin{definition}[Operationen auf Sprachen] - \begin{itemize} - \item $\alert{AB} = \left\{ uv \mid u \in A \wedge v \in B \right\}$ - \item $\alert{A^n} = \left\{w_1 \ldots w_n \mid w_1 \ldots w_n \in A \right\}$,\qquad $A^0 = \{\epsilon\}$ - \item $\alert{A^*} = \bigcup_{n \in \N_0} A^n$ - \end{itemize} - \end{definition} -\end{frame} -} - \input{automatons.tex} \input{grammars.tex} \input{computation.tex}