--- 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)$?

Binary file notes/ue03_notes.pdf has changed