Mercurial > 13ss.theoinf
changeset 18:e639ca7b5478
remove feedback slide; correct errors
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Tue, 07 May 2013 15:58:06 +0200 |
parents | df26393a4f62 |
children | 95ca58a84257 |
files | notes/tex/ue03_notes.tex notes/ue03_notes.pdf |
diffstat | 2 files changed, 2 insertions(+), 12 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 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)$?