Mercurial > 13ss.theoinf
comparison notes/tex/frames.tex @ 55:b815b94ae158
ue13 notes
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Mon, 22 Jul 2013 23:56:37 +0200 |
| parents | 67f995b2c412 |
| children |
comparison
equal
deleted
inserted
replaced
| 54:25f8a7e1c9bf | 55:b815b94ae158 |
|---|---|
| 66 \end{itemize} | 66 \end{itemize} |
| 67 \end{itemize} | 67 \end{itemize} |
| 68 \end{frame} | 68 \end{frame} |
| 69 } | 69 } |
| 70 | 70 |
| 71 \defineUnit{klausur}{% | |
| 72 \begin{frame} | |
| 73 \frametitle{Obacht, Klausur!} | |
| 74 \setbeamercovered{dynamic} | |
| 75 | |
| 76 \begin{itemize} | |
| 77 \item \structure{RE $\to$ $\epsilon$-NFA $\to$ NFA $\to$ DFA} | |
| 78 \item \structure{(Produktautomat)} | |
| 79 \item \structure{Quotientenautomat, Minimale DFAs} | |
| 80 \item Reguläres Pumpinglemma | |
| 81 \item \structure{CNF-Synthese} | |
| 82 \item \structure{Nützliche Symbole, CYK} | |
| 83 \item (Kellerautomaten) | |
| 84 \item Kontextfreies Pumpinglemma | |
| 85 \item Turingmaschinen | |
| 86 \item LOOP und PR | |
| 87 \item WHILE und $\mu$-Rekursion | |
| 88 \item Berechenbarkeit, Entscheidbarkeit, Satz von Rice | |
| 89 \item \structure{PCP} | |
| 90 \item (P und NP, Verifikatoren) | |
| 91 \item Reduktionen von und auf NP-Probleme | |
| 92 \end{itemize} | |
| 93 \end{frame} | |
| 94 } | |
| 95 | |
| 71 \input{automatons.tex} | 96 \input{automatons.tex} |
| 72 \input{grammars.tex} | 97 \input{grammars.tex} |
| 73 \input{computation.tex} | 98 \input{computation.tex} |