\newcommand{\defineUnit}[2]{\expandafter\newcommand\csname theoDefine#1\endcsname{#2}}
\newcommand{\showUnit}[1]{\csname theoDefine#1\endcsname}

\defineUnit{organisatorisch}{%
\begin{frame}
    \frametitle{Organisatorisches}

    \begin{itemize}
        \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org}
        \item Web: \href{tutor.zfix.org}{tutor.zfix.org}
            \vfill
        \item Wann?
            \begin{itemize}
                \item Dienstag 10:15-11:45 00.08.038
                \item Dienstag 12:05-13:35 00.08.038
            \end{itemize}
        \item Übungsablauf, Aufgabentypen
        \item Hausaufgaben
            \begin{itemize}
                \item Abgabe am Montag 14h, \alert{allein}
                \item Rückgabe in der \alert{richtigen} Übung
                \item Notenbonus für 40\% der Punkte, 40\% in der zweiten Hälfte
            \end{itemize}
        \item Klausur
            \begin{itemize}
                \item Endterm: Mi 31.07. 11.30-14h
                \item Wiederholung: Do 26.09. 11-13.30h
            \end{itemize}
    \end{itemize}
\end{frame}
}

\defineUnit{wasisttheo}{%
\begin{frame}
    \frametitle{Was ist Theoinf?}

    Aus der VL
    \vspace{1em}

    \begin{itemize}
        \item Automatentheorie
            \begin{itemize}
                \item Rechner mit endlichem oder kellerartigem Speicher
            \end{itemize}
            \vspace{0.5em}
        \item Grammatiken
            \begin{itemize}
                \item Syntax von Programmiersprachen
            \end{itemize}
            \vspace{0.5em}
        \item Berechenbarkeitstheorie
            \begin{itemize}
                \item Untersuchung der Grenzen, was Rechner prinzipiell können
            \end{itemize}
            \vspace{0.5em}
        \item Komplexitätstheorie
            \begin{itemize}
                \item Untersuchung der Grenzen, was Rechner mit begrenzten Ressourcen können
            \end{itemize}
    \end{itemize}
\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}