\newcommand{\defineUnit}[2]{\setbeamertemplate{slide #1}{{#2}}}
\newcommand{\showUnit}[1]{\usebeamertemplate{slide #1}}

\defineUnit{titel}{%
\begin{frame}
    \titlepage
\end{frame}
}

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

    \begin{itemize}
        \item Markus Kaiser
            \begin{itemize}
                \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org}
                \item Web: \href{theo.zfix.org}{theo.zfix.org}
                \item Hg: \href{tutor.zfix.org}{tutor.zfix.org}
            \end{itemize}
        \vfill
        \item Meine Übungen
            \begin{itemize}
                \item Gruppe 03: Montag, 16:05 - 17:35, 03.11.018
                \item Gruppe 15: Donnerstag, 10:15 - 11:45, 00.08.038
            \end{itemize}
            \vspace{0.5em}
        \item Hausaufgaben
            \begin{itemize}
                \item Abgabe am Mittwoch, 10h
                \item Rückgabe in der Übung
                \item \alert{Kein Notenbonus}
                \item Trotzdem machen!
            \end{itemize}
            \vspace{0.5em}
        \item Klausur
            \begin{itemize}
                \item Endterm: Do 24.07. 11-14h
                \item Wiederholung: Do 25.09. 11-14h
            \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{klausur}{%
\begin{frame}
    \frametitle{Obacht, Klausur!}
    \setbeamercovered{dynamic}

    \begin{itemize}
        \item \structure{RE $\to$ $\epsilon$-NFA $\to$ NFA $\to$ DFA}
        \item \structure{(Produktautomat)}
        \item \structure{Quotientenautomat, Minimale DFAs}
        \item Reguläres Pumpinglemma
        \item \structure{CNF-Synthese}
        \item \structure{Nützliche Symbole, CYK}
        \item (Kellerautomaten)
        \item Kontextfreies Pumpinglemma
        \item Turingmaschinen
        \item LOOP und PR
        \item WHILE und $\mu$-Rekursion
        \item Berechenbarkeit, Entscheidbarkeit, Satz von Rice
        \item \structure{PCP}
        \item (P und NP, Verifikatoren)
        \item Reduktionen von und auf NP-Probleme
    \end{itemize}
\end{frame}
}

\input{automata.tex}
\input{grammars.tex}
\input{computation.tex}
