Mercurial > 13ss.theoinf
comparison notes/tex/computation.tex @ 57:3ac958d9b7c4
remove duplicate definition
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Tue, 23 Jul 2013 00:51:34 +0200 |
| parents | b815b94ae158 |
| children |
comparison
equal
deleted
inserted
replaced
| 56:912d08706f16 | 57:3ac958d9b7c4 |
|---|---|
| 1019 \langclass{tumblue!20!black}{}{8}{Endlich}; | 1019 \langclass{tumblue!20!black}{}{8}{Endlich}; |
| 1020 \end{tikzpicture} | 1020 \end{tikzpicture} |
| 1021 \end{center} | 1021 \end{center} |
| 1022 \end{frame} | 1022 \end{frame} |
| 1023 } | 1023 } |
| 1024 | |
| 1025 \defineUnit{klausur}{% | |
| 1026 \begin{frame} | |
| 1027 \frametitle{Obacht, Klausur!} | |
| 1028 \setbeamercovered{dynamic} | |
| 1029 | |
| 1030 \begin{itemize} | |
| 1031 \item \structure{RE $\to$ $\epsilon$-NFA $\to$ NFA $\to$ DFA} | |
| 1032 \item \structure{(Produktautomat)} | |
| 1033 \item \structure{Quotientenautomat, Minimale DFAs} | |
| 1034 \item Reguläres Pumpinglemma | |
| 1035 \item \structure{CNF-Synthese} | |
| 1036 \item \structure{Nützliche Symbole, CYK} | |
| 1037 \item (Kellerautomaten) | |
| 1038 \item Kontextfreies Pumpinglemma | |
| 1039 \item Turingmaschinen | |
| 1040 \item LOOP und PR | |
| 1041 \item WHILE und $\mu$-Rekursion | |
| 1042 \item Berechenbarkeit, Entscheidbarkeit, Satz von Rice | |
| 1043 \item \structure{PCP} | |
| 1044 \item (P und NP, Verifikatoren) | |
| 1045 \item Reduktionen von und auf NP-Probleme | |
| 1046 \end{itemize} | |
| 1047 \end{frame} | |
| 1048 } |