Mercurial > 13ss.theoinf

comparison notes/tex/ue03_notes.tex @ 18:e639ca7b5478

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
remove feedback slide; correct errors
author Markus Kaiser <markus.kaiser@in.tum.de>
date Tue, 07 May 2013 15:58:06 +0200
parents b85e7ade4a89
children 95ca58a84257
comparison
equal deleted inserted replaced
17:df26393a4f62 18:e639ca7b5478
41 41
42 \begin{frame} 42 \begin{frame}
43 \titlepage 43 \titlepage
44 \end{frame} 44 \end{frame}
45 45
46 \begin{frame}[c]
47 \frametitle{Feedback}
48 \setbeamercovered{dynamic}
49 \begin{itemize}
50 \item Hausaufgaben
51 \item Übungsniveau
52 \item Links
53 \end{itemize}
54 \end{frame}
55
56 \begin{frame} 46 \begin{frame}
57 \frametitle{Nochmal Reguläre Ausdrücke} 47 \frametitle{Nochmal Reguläre Ausdrücke}
58 \setbeamercovered{dynamic} 48 \setbeamercovered{dynamic}
59 49
60 \begin{theorem} 50 \begin{theorem}
81 \setbeamercovered{dynamic} 71 \setbeamercovered{dynamic}
82 72
83 \begin{theorem}[Ardens Lemma] 73 \begin{theorem}[Ardens Lemma]
84 Sind $A$, $B$ und $X$ Sprachen mit $\epsilon \not \in A$, dann gilt 74 Sind $A$, $B$ und $X$ Sprachen mit $\epsilon \not \in A$, dann gilt
85 \[ 75 \[
86 X = AB \cup X \Longrightarrow X = A^* B 76 X = AX \cup B \Longrightarrow X = A^* B
87 \] 77 \]
88 Speziell gilt für reguläre Ausdrücke 78 Speziell gilt für reguläre Ausdrücke
89 \[ 79 \[
90 X \equiv \alpha X \mid \beta \Longrightarrow X \equiv \alpha^* \beta 80 X \equiv \alpha X \mid \beta \Longrightarrow X \equiv \alpha^* \beta
91 \] 81 \]
212 202
213 \vfill 203 \vfill
214 \pause 204 \pause
215 205
216 \begin{theorem} 206 \begin{theorem}
217 Für eine reguläre Sprache $D$ ist \alert{entscheidbar}: 207 Für eine Darstellung $D$ einer regulären Sprache ist \alert{entscheidbar}:
218 \vspace{1em} 208 \vspace{1em}
219 \begin{description} 209 \begin{description}
220 \item[Wortproblem] Gegeben $w$, gilt $w \in L(D)$? 210 \item[Wortproblem] Gegeben $w$, gilt $w \in L(D)$?
221 \item[Leerheitsproblem] Ist $L(D) = \emptyset$? 211 \item[Leerheitsproblem] Ist $L(D) = \emptyset$?
222 \item[Endlichkeitsproblem] Ist $|L(D)| < \infty$? 212 \item[Endlichkeitsproblem] Ist $|L(D)| < \infty$?