# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1399760850 -7200
# Node ID 0f7daeda8363b99aec8f93ca11861699ccf9f34d
# Parent  a08f6e33cfb04bfdd84e1f64544242dca26e3f37
wording; add explicit productions to cf-pumping lemma

diff -r a08f6e33cfb0 -r 0f7daeda8363 notes/tex/automata.tex
--- a/notes/tex/automata.tex	Sat May 10 19:39:01 2014 +0200
+++ b/notes/tex/automata.tex	Sun May 11 00:27:30 2014 +0200
@@ -496,7 +496,7 @@
         Sei $R \subseteq \Sigma^*$ regulär.\\
         Dann gibt es ein $n > 0$, so dass sich \alert{jedes} $z \in R$ mit $|z| \geq n$ so in $z = uvw$ zerlegen lässt, dass
         \begin{itemize}
-            \item $v \neq \epsilon$
+            \item $v \alert{\neq \epsilon}$
             \item $|uv| \alert{\leq n}$
             \item $\forall i \alert{\geq 0}. uv^iw \in R$
         \end{itemize}
diff -r a08f6e33cfb0 -r 0f7daeda8363 notes/tex/grammars.tex
--- a/notes/tex/grammars.tex	Sat May 10 19:39:01 2014 +0200
+++ b/notes/tex/grammars.tex	Sun May 11 00:27:30 2014 +0200
@@ -280,6 +280,7 @@
 
     \vfill
 
+    \vspace{1.5em}
     \begin{center}
         \begin{columns}
             \begin{column}{.4\textwidth}
@@ -306,6 +307,11 @@
                     \node[below] at (2.2, 0) {$w$};
                     \node[below] at (2.95, 0) {$x$};
                     \node[below] at (3.6, 0) {$y$};
+
+                    \node[right] at (middle) {$A$};
+                    \node[right] at (inner) {$A$};
+
+                    \node at (2, 3.4) {$S \to^* uAy \to^* uvAxy \to^* uvwxy$};
                 \end{tikzpicture}
             \end{column}
             \begin{column}{.4\textwidth}
@@ -327,6 +333,10 @@
                     \node[below] at (0.6, 0) {$u$};
                     \node[below] at (2.2, 0) {$w$};
                     \node[below] at (3.6, 0) {$y$};
+
+                    \node[right] at (middle) {$A$};
+
+                    \node at (2, 3.4) {$S \to^* uAy  \to^* uwy$};
                 \end{tikzpicture}
             \end{column}
         \end{columns}
diff -r a08f6e33cfb0 -r 0f7daeda8363 notes/ue04_notes.pdf
Binary file notes/ue04_notes.pdf has changed