Mercurial > 13ss.theoinf

comparison 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
comparison
equal deleted inserted replaced
17:df26393a4f62 19:7f7aff440629
81 \setbeamercovered{dynamic} 81 \setbeamercovered{dynamic}
82 82
83 \begin{theorem}[Ardens Lemma] 83 \begin{theorem}[Ardens Lemma]
84 Sind $A$, $B$ und $X$ Sprachen mit $\epsilon \not \in A$, dann gilt 84 Sind $A$, $B$ und $X$ Sprachen mit $\epsilon \not \in A$, dann gilt
85 \[ 85 \[
86 X = AB \cup X \Longrightarrow X = A^* B 86 X = AX \cup B \Longrightarrow X = A^* B
87 \] 87 \]
88 Speziell gilt für reguläre Ausdrücke 88 Speziell gilt für reguläre Ausdrücke
89 \[ 89 \[
90 X \equiv \alpha X \mid \beta \Longrightarrow X \equiv \alpha^* \beta 90 X \equiv \alpha X \mid \beta \Longrightarrow X \equiv \alpha^* \beta
91 \] 91 \]