\input{preamble.tex}
\input{frames.tex}

\title{Übersichtsfolien zur Übung}
\subtitle{Theoretische Informatik Sommersemester 2014}
\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}

\begin{document}
\showUnit{titel}

%ue01
\showUnit{organisatorisches}
\showUnit{wasisttheo}
\showUnit{alphabet}
\showUnit{grammatik}
\showUnit{sprachtypen}
\showUnit{chomsky}
\showUnit{berechenbarkeit}
\showUnit{entscheidbarkeit}

%ue02
\showUnit{eindeutigkeit}
\showUnit{dfa}
\showUnit{nfa}
\showUnit{enfa}
\showUnit{nfazudfa}

%ue03
\showUnit{regex}
\showUnit{rezuenfa}
\showUnit{enfazunfa}
\showUnit{aequivalentezustaende}
\showUnit{unterscheidbarezustaende}
\showUnit{quotientenautomat}

%ue04
\showUnit{rpl}
\showUnit{nuetzlichessymbol}
\showUnit{cnf}
\showUnit{cfpl}
\showUnit{cnfkonstruktion}
\showUnit{cyk}
\showUnit{cykbeispiel}

%ue05
\showUnit{induktivesprachdefinition}
\showUnit{ogden}
\showUnit{greibach}
\showUnit{greibachkonstruktion}
\showUnit{pda}
\showUnit{pdaakzeptanz}
\showUnit{pdabeispiel}
\end{document}