Mercurial > 14ss.theoinf

changeset 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 24d446e2f94c
children 5bf1c9a3ec2e
files notes/complete_notes.pdf notes/hierarchy.pdf notes/tex/complete_notes.tex notes/tex/frames.tex notes/tex/hierarchy.tex notes/tex/ue12_notes.tex
diffstat 6 files changed, 32 insertions(+), 29 deletions(-) [+]
line wrap: on
line diff
Binary file notes/complete_notes.pdf has changed
Binary file notes/hierarchy.pdf has changed
--- a/notes/tex/complete_notes.tex	Fri Jul 04 21:18:30 2014 +0200
+++ b/notes/tex/complete_notes.tex	Wed Jul 16 21:15:39 2014 +0200
@@ -67,12 +67,6 @@
 
 %ue09
 \showUnit{queueautomaten}
-\showUnit{regulaeresprachen}
-\showUnit{kontextfreiesprachen}
-\showUnit{typ0sprachen}
-\showUnit{spracheigenschaften}
-\showUnit{chomsky}
-\showUnit{formalesprachen}
 
 %ue10
 \showUnit{pr}
@@ -90,4 +84,13 @@
 \showUnit{halteproblem}
 \showUnit{aufzaehlbarkeit}
 \showUnit{rice}
+
+%wdh
+\showUnit{regulaeresprachen}
+\showUnit{kontextfreiesprachen}
+\showUnit{typ0sprachen}
+\showUnit{spracheigenschaften}
+\showUnit{chomsky}
+\showUnit{formalesprachen}
+\showUnit{klausur}
 \end{document}
--- a/notes/tex/frames.tex	Fri Jul 04 21:18:30 2014 +0200
+++ b/notes/tex/frames.tex	Wed Jul 16 21:15:39 2014 +0200
@@ -74,7 +74,7 @@
 }
 
 \defineUnit{klausur}{%
-\begin{frame}
+\begin{frame}[c]
     \frametitle{Obacht, Klausur!}
     \setbeamercovered{dynamic}
 
@@ -85,15 +85,14 @@
         \item Reguläres Pumpinglemma
         \item \structure{CNF-Synthese}
         \item \structure{Nützliche Symbole, CYK}
-        \item (Kellerautomaten)
+        \item Kellerautomaten, Deterministische Kellerautomaten
+        \item \structure{(GNF-Synthese)}
+        \item \structure{(PDA $\leftrightarrow$ CFG)}
         \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
+        \item Berechenbarkeit, Entscheidbarkeit
+        \item Reduktionen (in der Berechenbarkeit)
     \end{itemize}
 \end{frame}
 }
--- a/notes/tex/hierarchy.tex	Fri Jul 04 21:18:30 2014 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-\input{preamble.tex}
-\input{frames.tex}
-
-\title{Chomsky-Hierarchie: Übersicht}
-\subtitle{Theoretische Informatik Sommersemester 2014}
-\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}
-
-\begin{document}
-\showUnit{titel}
-\showUnit{regulaeresprachen}
-\showUnit{kontextfreiesprachen}
-\showUnit{typ0sprachen}
-\showUnit{spracheigenschaften}
-\showUnit{chomsky}
-\showUnit{formalesprachen}
-\end{document}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/notes/tex/ue12_notes.tex	Wed Jul 16 21:15:39 2014 +0200
@@ -0,0 +1,17 @@
+\input{preamble.tex}
+\input{frames.tex}
+
+\title{Übung 12: Wiederholung}
+\subtitle{Theoretische Informatik Sommersemester 2014}
+\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}
+
+\begin{document}
+\showUnit{titel}
+\showUnit{regulaeresprachen}
+\showUnit{kontextfreiesprachen}
+\showUnit{typ0sprachen}
+\showUnit{spracheigenschaften}
+\showUnit{chomsky}
+\showUnit{formalesprachen}
+\showUnit{klausur}
+\end{document}