# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1367935086 -7200
# Node ID e639ca7b5478e04a3eaf792403decf65f50b49ae
# Parent  df26393a4f62dd8ffdc9bd600fdfa1499bb2dd8d
remove feedback slide; correct errors

diff -r df26393a4f62 -r e639ca7b5478 notes/tex/ue03_notes.tex
--- a/notes/tex/ue03_notes.tex	Tue May 07 00:10:38 2013 +0200
+++ b/notes/tex/ue03_notes.tex	Tue May 07 15:58:06 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}
@@ -83,7 +73,7 @@
     \begin{theorem}[Ardens Lemma]
         Sind $A$, $B$ und $X$ Sprachen mit $\epsilon \not \in A$, dann gilt
         \[
-            X = AB \cup X \Longrightarrow X = A^* B
+            X = AX \cup B \Longrightarrow X = A^* B
         \]
         Speziell gilt für reguläre Ausdrücke
         \[
@@ -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 df26393a4f62 -r e639ca7b5478 notes/ue03_notes.pdf
Binary file notes/ue03_notes.pdf has changed