Commit f27a51b0 authored by Niklas Rieken's avatar Niklas Rieken

added Pumping-Lemma, w/o proof

parent d134275b
\begin{tikzpicture}
\node (S) at (0, 0) {$S$};
\node[draw,circle] (dum1) at (-.7, -1.5) {};
\node (A1) at (-.7, -2.3) {$A$};
\draw[decorate, decoration={snake, amplitude=.6mm}] (S) -- (dum1);
\draw[-] (S) -- +(-6, -5.5) --node[below] {$u$} +(-5, -5.5) -- (dum1);
\draw[-] (S) -- +(5, -5.5) --node[below] {$y$} +(3, -5.5) -- (dum1);
\draw[-] (dum1) -- (A1);
\draw[-] (A1.west) -- +(-1.2, -1.2) --node[below] {$w$} +(1.55, -1.2) -- (A1.east);
\end{tikzpicture}
\begin{tikzpicture}
\node (S) at (0, 0) {$S$};
\node[draw,circle] (dum1) at (-.7, -1.5) {};
\node (A1) at (-.7, -2.3) {$A$};
\node[draw,circle] (dum2) at (-.3, -3.5) {};
\node (A2) at (-.3, -4.3) {$A$};
\draw[decorate, decoration={snake, amplitude=.6mm}] (S) -- (dum1);
\draw[-] (S) -- +(-6, -5.5) --node[below] {$u$} +(-5, -5.5) -- (dum1);
\draw[-] (S) -- +(5, -5.5) --node[below] {$y$} +(3, -5.5) -- (dum1);
\draw[-] (dum1) -- (A1);
\draw[decorate, decoration={snake, amplitude=.6mm}] (A1) -- (dum2);
\draw[-] (A1.west) -- +(-3.5, -3.2) --node[below] {$v$} +(-1.3, -3.2) -- (dum2);
\draw[-] (A1.east) -- +(2.9, -3.2) --node[below] {$x$} +(1.9, -3.2) -- (dum2);
\draw[-] (dum2) -- (A2);
\draw[-] (A2.west) -- +(-1.2, -1.2) --node[below] {$w$} +(1.55, -1.2) -- (A2.east);
\end{tikzpicture}
\begin{tikzpicture}
\node (S) at (0, 0) {$S$};
\node[draw,circle] (dum1) at (-.7, -1.5) {};
\node (A1) at (-.7, -2.3) {$A$};
\node[draw,circle] (dum2) at (-.3, -3.5) {};
\node (A2) at (-.3, -4.3) {$A$};
\node[draw,circle] (dum3) at (.1, -5.5) {};
\node (A3) at (.1, -6.3) {$A$};
\draw[decorate, decoration={snake, amplitude=.6mm}] (S) -- (dum1);
\draw[-] (S) -- +(-6, -5.5) --node[below] {$u$} +(-5, -5.5) -- (dum1);
\draw[-] (S) -- +(5, -5.5) --node[below] {$y$} +(3, -5.5) -- (dum1);
\draw[-] (dum1) -- (A1);
\draw[decorate, decoration={snake, amplitude=.6mm}] (A1) -- (dum2);
\draw[-] (A1.west) -- +(-3.5, -3.2) --node[below] {$v$} +(-1.3, -3.2) -- (dum2);
\draw[-] (A1.east) -- +(2.9, -3.2) --node[below] {$x$} +(1.9, -3.2) -- (dum2);
\draw[-] (dum2) --(A2);
\draw[decorate, decoration={snake, amplitude=.6mm}] (A2) -- (dum3);
\draw[-] (A2.west) -- +(-3.5, -3.2) --node[below] {$v$} +(-1.3, -3.2) -- (dum3);
\draw[-] (A2.east) -- +(2.9, -3.2) --node[below] {$x$} +(1.9, -3.2) -- (dum3);
\draw[-] (dum3) -- (A3);
\draw[-] (A3.west) -- +(-1.2, -1.2) --node[below] {$w$} +(1.55, -1.2) -- (A3.east);
\end{tikzpicture}
No preview for this file type
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment