# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1373574348 -7200
# Node ID 67f995b2c41283c30334617ccf94f613e7860a25
# Parent  31c052a2fad5d218400fa360ab31b11402d2bdc3
recompile everything; add all notes in one file

diff -r 31c052a2fad5 -r 67f995b2c412 notes/complete_notes.pdf
Binary file notes/complete_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/tex/complete_notes.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/notes/tex/complete_notes.tex	Thu Jul 11 22:25:48 2013 +0200
@@ -0,0 +1,96 @@
+\input{preamble.tex}
+\input{frames.tex}
+
+\title{Übersichtsfolien zur Übung}
+\subtitle{Theoretische Informatik Sommersemester 2013}
+\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}
+
+\begin{document}
+\showUnit{titel}
+
+% ue01
+\showUnit{organisatorisches}
+\showUnit{wasisttheo}
+
+\showUnit{alphabet}
+\showUnit{dfa}
+\showUnit{nfa}
+\showUnit{enfa}
+\showUnit{automatenkonversionen}
+\showUnit{name}
+
+% ue02
+\showUnit{regex}
+\showUnit{rezuenfa}
+\showUnit{rezuenfazwei}
+\showUnit{enfazunfa}
+\showUnit{nfazudfa}
+\showUnit{produktautomat}
+
+% ue03
+\showUnit{regexrechnen}
+\showUnit{arden}
+\showUnit{nfazure}
+\showUnit{rpl}
+\showUnit{rplanwenden}
+\showUnit{regulaeresprachen}
+
+% ue04
+\showUnit{aequivalentezustaende}
+\showUnit{unterscheidbarezustande}
+\showUnit{quotientenautomat}
+
+% ue05
+\showUnit{grammatik}
+\showUnit{ableitung}
+\showUnit{cfl}
+\showUnit{induktivesprachdefinition}
+
+% ue06
+\showUnit{cnf}
+\showUnit{cnfkonstruktion}
+\showUnit{nuetzlichessymbol}
+\showUnit{cfpl}
+
+% ue07
+\showUnit{cyk}
+\showUnit{cykbeispiel}
+\showUnit{pda}
+\showUnit{pdaakzeptanz}
+\showUnit{pdabeispiel}
+
+% ue08
+\showUnit{tmdefinition}
+\showUnit{tmvisualisierung}
+\showUnit{ndtm}
+
+% ue09
+\showUnit{chomsky}
+\showUnit{berechenbarkeit}
+\showUnit{berechenbarkeitbeispiel}
+\showUnit{loop}
+\showUnit{pr}
+\showUnit{prrekursion}
+\showUnit{prprogramme}
+\showUnit{prerweitert}
+\showUnit{tmif}
+\showUnit{while}
+\showUnit{goto}
+
+% ue10
+\showUnit{loop}
+\showUnit{prerweitert}
+\showUnit{prmax}
+\showUnit{murekursion}
+\showUnit{berechenbarkeit}
+\showUnit{entscheidbarkeit}
+\showUnit{breduktion}
+
+% ue11
+\showUnit{spezielleshalteproblem}
+\showUnit{halteproblem}
+\showUnit{aufzaehlbarkeit}
+\showUnit{rice}
+\showUnit{pcp}
+\showUnit{pcpbeispiel}
+\end{document}
diff -r 31c052a2fad5 -r 67f995b2c412 notes/tex/frames.tex
--- a/notes/tex/frames.tex	Thu Jul 11 22:07:24 2013 +0200
+++ b/notes/tex/frames.tex	Thu Jul 11 22:25:48 2013 +0200
@@ -13,14 +13,15 @@
 
     \begin{itemize}
         \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org}
-        \item Web: \href{tutor.zfix.org}{tutor.zfix.org}
+        \item Web: \href{theo.zfix.org}{theo.zfix.org}
+        \item Hg: \href{tutor.zfix.org}{tutor.zfix.org}
             \vfill
         \item Wann?
             \begin{itemize}
                 \item Dienstag 10:15-11:45 00.08.038
-                \item Dienstag 12:05-13:35 00.08.038
+                \item Dienstag 12:10-13:45 00.08.038
             \end{itemize}
-        \item Übungsablauf, Aufgabentypen
+        %\item Übungsablauf, Aufgabentypen
         \item Hausaufgaben
             \begin{itemize}
                 \item Abgabe am Montag 14h, \alert{allein}
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue01_notes.pdf
Binary file notes/ue01_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue02_notes.pdf
Binary file notes/ue02_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue03_notes.pdf
Binary file notes/ue03_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue04_notes.pdf
Binary file notes/ue04_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue05_notes.pdf
Binary file notes/ue05_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue06_notes.pdf
Binary file notes/ue06_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue07_notes.pdf
Binary file notes/ue07_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue08_notes.pdf
Binary file notes/ue08_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue09_notes.pdf
Binary file notes/ue09_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue10_notes.pdf
Binary file notes/ue10_notes.pdf has changed
diff -r 31c052a2fad5 -r 67f995b2c412 notes/ue11_notes.pdf
Binary file notes/ue11_notes.pdf has changed