Mercurial > 14ss.theoinf
view notes/tex/frames.tex @ 15:60757c0ba1f0
rename automata file; add complete notes
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Fri, 09 May 2014 11:28:33 +0200 |
parents | f96446e678c8 |
children | 80680bf7a9e9 |
line wrap: on
line source
\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}