Mercurial > 14ss.theoinf

comparison notes/tex/frames.tex @ 33:80680bf7a9e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
repetition slides
author Markus Kaiser <markus.kaiser@in.tum.de>
date Wed, 16 Jul 2014 21:15:39 +0200
parents 60757c0ba1f0
children
comparison
equal deleted inserted replaced
32:24d446e2f94c 33:80680bf7a9e9
72 \end{itemize} 72 \end{itemize}
73 \end{frame} 73 \end{frame}
74 } 74 }
75 75
76 \defineUnit{klausur}{% 76 \defineUnit{klausur}{%
77 \begin{frame} 77 \begin{frame}[c]
78 \frametitle{Obacht, Klausur!} 78 \frametitle{Obacht, Klausur!}
79 \setbeamercovered{dynamic} 79 \setbeamercovered{dynamic}
80 80
81 \begin{itemize} 81 \begin{itemize}
82 \item \structure{RE $\to$ $\epsilon$-NFA $\to$ NFA $\to$ DFA} 82 \item \structure{RE $\to$ $\epsilon$-NFA $\to$ NFA $\to$ DFA}
83 \item \structure{(Produktautomat)} 83 \item \structure{(Produktautomat)}
84 \item \structure{Quotientenautomat, Minimale DFAs} 84 \item \structure{Quotientenautomat, Minimale DFAs}
85 \item Reguläres Pumpinglemma 85 \item Reguläres Pumpinglemma
86 \item \structure{CNF-Synthese} 86 \item \structure{CNF-Synthese}
87 \item \structure{Nützliche Symbole, CYK} 87 \item \structure{Nützliche Symbole, CYK}
88 \item (Kellerautomaten) 88 \item Kellerautomaten, Deterministische Kellerautomaten
89 \item \structure{(GNF-Synthese)}
90 \item \structure{(PDA $\leftrightarrow$ CFG)}
89 \item Kontextfreies Pumpinglemma 91 \item Kontextfreies Pumpinglemma
90 \item Turingmaschinen 92 \item Turingmaschinen
91 \item LOOP und PR 93 \item LOOP und PR
92 \item WHILE und $\mu$-Rekursion 94 \item Berechenbarkeit, Entscheidbarkeit
93 \item Berechenbarkeit, Entscheidbarkeit, Satz von Rice 95 \item Reduktionen (in der Berechenbarkeit)
94 \item \structure{PCP}
95 \item (P und NP, Verifikatoren)
96 \item Reduktionen von und auf NP-Probleme
97 \end{itemize} 96 \end{itemize}
98 \end{frame} 97 \end{frame}
99 } 98 }
100 99
101 \input{automata.tex} 100 \input{automata.tex}