Mercurial > 13ss.theoinf

diff notes/tex/ue03_notes.tex @ 19:7f7aff440629

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix error in theorem
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 13 May 2013 23:18:29 +0200
parents b85e7ade4a89
children 95ca58a84257
line wrap: on
line diff
--- 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
         \[