\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}

%ue06
% nothing here

%ue07
\showUnit{dpda}
\showUnit{lrgrammars}

%ue08
\showUnit{tmdefinition}
\showUnit{tmvisualisierung}
\showUnit{tmkonfiguration}
\showUnit{ndtm}
\showUnit{lba}

%ue09
\showUnit{queueautomaten}

%ue10
\showUnit{pr}
\showUnit{prrekursion}
\showUnit{prerweitert}
\showUnit{prprogramme}
\showUnit{loop}

%ue11
\showUnit{berechenbarkeit}
\showUnit{berechenbarkeitbeispiel}
\showUnit{entscheidbarkeit}
\showUnit{breduktion}
\showUnit{spezielleshalteproblem}
\showUnit{halteproblem}
\showUnit{aufzaehlbarkeit}
\showUnit{rice}

%wdh
\showUnit{regulaeresprachen}
\showUnit{kontextfreiesprachen}
\showUnit{typ0sprachen}
\showUnit{spracheigenschaften}
\showUnit{chomsky}
\showUnit{formalesprachen}
\showUnit{klausur}
\end{document}
