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

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

\begin{document}
\showUnit{titel}

% ue01
\showUnit{organisatorisches}
\showUnit{wasisttheo}

\showUnit{alphabet}
\showUnit{dfa}
\showUnit{nfa}
\showUnit{enfa}
\showUnit{name}

% ue02
\showUnit{regex}
\showUnit{rezuenfa}
\showUnit{rezuenfazwei}
\showUnit{enfazunfa}
\showUnit{nfazudfa}
\showUnit{produktautomat}

% ue03
\showUnit{regexrechnen}
\showUnit{arden}
\showUnit{nfazure}
\showUnit{rpl}
\showUnit{rplanwenden}

% ue04
\showUnit{aequivalentezustaende}
\showUnit{unterscheidbarezustande}
\showUnit{quotientenautomat}
\showUnit{regulaeresprachen}

% ue05
\showUnit{grammatik}
\showUnit{ableitung}
\showUnit{cfl}
\showUnit{induktivesprachdefinition}

% ue06
\showUnit{cnf}
\showUnit{cnfkonstruktion}
\showUnit{nuetzlichessymbol}
\showUnit{cfpl}

% ue07
\showUnit{cyk}
\showUnit{cykbeispiel}
\showUnit{pda}
\showUnit{pdaakzeptanz}
\showUnit{pdabeispiel}
\showUnit{kontextfreiesprachen}

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

% ue09, ue10
\showUnit{chomsky}
\showUnit{loop}
\showUnit{pr}
\showUnit{prrekursion}
\showUnit{prprogramme}
\showUnit{prerweitert}
\showUnit{prmax}
\showUnit{murekursion}
\showUnit{tmif}
\showUnit{while}
\showUnit{goto}
\showUnit{berechenbarkeit}
\showUnit{entscheidbarkeit}
\showUnit{breduktion}

% ue11
\showUnit{spezielleshalteproblem}
\showUnit{halteproblem}
\showUnit{aufzaehlbarkeit}
\showUnit{rice}
\showUnit{pcp}
\showUnit{pcpbeispiel}
\end{document}
