# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1368479909 -7200
# Node ID 7f7aff440629c62d6bee0407485f08b16a5f6255
# Parent  df26393a4f62dd8ffdc9bd600fdfa1499bb2dd8d
fix error in theorem

diff -r df26393a4f62 -r 7f7aff440629 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	Mon May 13 23:18:29 2013 +0200
@@ -83,7 +83,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
         \[