Mercurial > 13ss.theoinf
changeset 19:7f7aff440629
fix error in theorem
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Mon, 13 May 2013 23:18:29 +0200 |
parents | df26393a4f62 |
children | 8e82a6d407d3 |
files | notes/tex/ue03_notes.tex |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
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 \[