# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1368479987 -7200
# Node ID 95ca58a842579c0bb640f3aadfc2d7cd4b7cddea
# Parent  e639ca7b5478e04a3eaf792403decf65f50b49ae# Parent  8b37b5ab61a5a6f3ef233eee02bebd926980d99f
Automated merge with ssh://hg/13ss.theoinf

diff -r 8b37b5ab61a5 -r 95ca58a84257 notes/tex/ue03_notes.tex
--- a/notes/tex/ue03_notes.tex	Mon May 13 23:19:33 2013 +0200
+++ b/notes/tex/ue03_notes.tex	Mon May 13 23:19:47 2013 +0200
@@ -43,16 +43,6 @@
     \titlepage
 \end{frame}
 
-\begin{frame}[c]
-    \frametitle{Feedback}
-    \setbeamercovered{dynamic}
-    \begin{itemize}
-        \item Hausaufgaben
-        \item Übungsniveau
-        \item Links
-    \end{itemize}
-\end{frame}
-
 \begin{frame}
     \frametitle{Nochmal Reguläre Ausdrücke}
     \setbeamercovered{dynamic}
@@ -214,7 +204,7 @@
     \pause
 
     \begin{theorem}
-        Für eine reguläre Sprache $D$ ist \alert{entscheidbar}:
+        Für eine Darstellung $D$ einer regulären Sprache ist \alert{entscheidbar}:
         \vspace{1em}
         \begin{description}
             \item[Wortproblem] Gegeben $w$, gilt $w \in L(D)$?
diff -r 8b37b5ab61a5 -r 95ca58a84257 notes/ue03_notes.pdf
Binary file notes/ue03_notes.pdf has changed