Mercurial > 14ss.theoinf
changeset 17:0f7daeda8363
wording; add explicit productions to cf-pumping lemma
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Sun, 11 May 2014 00:27:30 +0200 |
parents | a08f6e33cfb0 |
children | 1359f5a6aa60 |
files | notes/tex/automata.tex notes/tex/grammars.tex notes/ue04_notes.pdf |
diffstat | 3 files changed, 11 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- 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}
--- 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}